{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"self.len().hash_stable(hcx,"}]}
            self.len().hash_stable(hcx, hasher);
        if self.is_empty() {
            return;