{"ast_node_type":"variable","tokens":[{"end":58,"kind":"keyword","start":0,"text":"let"}]}
        let impl_predicates: ty::GenericPredicates<'tcx> =
            self.tcx.predicates_of(obligation.impl_or_alias_def_id);