1
Fork 0

Use BoundVarsCollector for now

This commit is contained in:
Yuki Okushi 2021-07-02 10:14:13 +09:00
parent 242ac57015
commit 13e116f1f7
No known key found for this signature in database
GPG key ID: DABA5B072961C18A
3 changed files with 97 additions and 10 deletions

View file

@ -7,7 +7,7 @@ use crate::ty::layout::IntegerExt;
use crate::ty::query::TyCtxtAt;
use crate::ty::subst::{GenericArgKind, Subst, SubstsRef};
use crate::ty::TyKind::*;
use crate::ty::{self, DefIdTree, List, Ty, TyCtxt, TypeFoldable};
use crate::ty::{self, DebruijnIndex, DefIdTree, List, Ty, TyCtxt, TypeFoldable};
use rustc_apfloat::Float as _;
use rustc_ast as ast;
use rustc_attr::{self as attr, SignedInt, UnsignedInt};
@ -905,6 +905,10 @@ impl<'tcx> ty::TyS<'tcx> {
}
ty
}
pub fn outer_exclusive_binder(&'tcx self) -> DebruijnIndex {
self.outer_exclusive_binder
}
}
pub enum ExplicitSelf<'tcx> {