fix index returned for the use of BoundVar

This commit is contained in:
dfireBird 2024-03-06 23:15:04 +05:30
parent f95b3d4cd2
commit 16493e301e
No known key found for this signature in database
GPG key ID: 26D522CA5FC2B93D
3 changed files with 14 additions and 10 deletions

View file

@ -611,6 +611,10 @@ pub fn static_lifetime() -> Lifetime {
LifetimeData::Static.intern(Interner)
}
pub fn error_lifetime() -> Lifetime {
static_lifetime()
}
pub(crate) fn fold_free_vars<T: HasInterner<Interner = Interner> + TypeFoldable<Interner>>(
t: T,
for_ty: impl FnMut(BoundVar, DebruijnIndex) -> Ty,