{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"normalized_pos.len().hash_stable(hcx,"}]}
        normalized_pos.len().hash_stable(hcx, hasher);
        for &char_pos in normalized_pos.iter() {