{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"this.structurally_instantiate_normalizes_to_term("}]}
                        this.structurally_instantiate_normalizes_to_term(
                    ecx.probe_builtin_trait_candidate(BuiltinImplSource::Misc).enter(|this| {
                            goal,