make depth private
Co-authored-by: csmoe <35686186+csmoe@users.noreply.github.com>
This commit is contained in:
parent
7e15e0baff
commit
22a25d9b49
@ -1025,7 +1025,7 @@ impl<'a, 'gcx, 'tcx> ParamTy {
|
||||
pub struct DebruijnIndex {
|
||||
/// We maintain the invariant that this is never 0. So 1 indicates
|
||||
/// the innermost binder.
|
||||
pub depth: u32,
|
||||
depth: u32,
|
||||
}
|
||||
|
||||
pub type Region<'tcx> = &'tcx RegionKind;
|
||||
|
Loading…
Reference in New Issue
Block a user