{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"self.infcx.tcx,"}]}
                self.infcx.tcx,
            let obligation = Obligation::new(
                ObligationCause::dummy(),