{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":".builtin_index()"}]}
                    .builtin_index()
                    .structurally_resolve_type(pat.span, place_with_id.place.ty())
                else {