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