{"ast_node_type":"variable","tokens":[{"end":25,"kind":"keyword","start":0,"text":"let"}]}
        let obligations =
        let infcx = &tcx.infer_ctxt().build(TypingMode::non_body_analysis());
            wf::obligations(infcx, tcx.param_env(impl1_def_id), impl1_def_id, 0, term, span)