tweak ClosureOutlivesSubjectTy

This commit is contained in:
Ali MJ Al-Nasrawy 2023-03-04 11:19:56 +03:00
parent 10da7710cd
commit 97381d2f1e
2 changed files with 11 additions and 8 deletions

View File

@ -1153,7 +1153,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
return None;
}
Some(ClosureOutlivesSubject::Ty(ClosureOutlivesSubjectTy::new(tcx, ty)))
Some(ClosureOutlivesSubject::Ty(ClosureOutlivesSubjectTy::bind(tcx, ty)))
}
/// Returns a universally quantified region that outlives the

View File

@ -394,23 +394,26 @@ pub enum ClosureOutlivesSubject<'tcx> {
/// Represents a `ty::Ty` for use in [`ClosureOutlivesSubject`].
///
/// This indirection is necessary because the type may include `ReVar` regions,
/// which is what we use internally within NLL code,
/// and we can't use `ReVar`s in a query response.
/// This abstraction is necessary because the type may include `ReVar` regions,
/// which is what we use internally within NLL code, and they can't be used in
/// a query response.
///
/// DO NOT implement `TypeVisitable` or `TypeFoldable` traits, because this
/// type is not recognized as a binder for late-bound region.
#[derive(Copy, Clone, Debug, TyEncodable, TyDecodable, HashStable)]
pub struct ClosureOutlivesSubjectTy<'tcx> {
inner: Ty<'tcx>,
}
impl<'tcx> ClosureOutlivesSubjectTy<'tcx> {
// All regions of `ty` must be of kind `ReVar`
// and must point to an early-bound region in the closure's signature.
pub fn new(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> Self {
/// All regions of `ty` must be of kind `ReVar` and must represent
/// universal regions *external* to the closure.
pub fn bind(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> Self {
let inner = tcx.fold_regions(ty, |r, depth| match r.kind() {
ty::ReVar(vid) => {
let br = ty::BoundRegion {
var: ty::BoundVar::new(vid.index()),
kind: ty::BrAnon(0u32, None),
kind: ty::BrAnon(vid.as_u32(), None),
};
tcx.mk_re_late_bound(depth, br)
}