{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
            let erased_p_ty = self.tcx.erase_regions(p_ty);
            let p_ty = p.to_ty(tcx);
            (erased_p_ty == erased_ty).then_some(ty::Binder::dummy(ty::OutlivesPredicate(p_ty, r)))