{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":".unwrap();"}]}
                .unwrap();
            wf::obligations(infcx, tcx.param_env(impl1_def_id), impl1_def_id, 0, term, span)