{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
            let obligation = Obligation::new(
                ty::Binder::dummy(ty::TraitRef::new(self.infcx.tcx, trait_def_id, [ty]));
                self.infcx.tcx,