Fix Chalk panic

Fixes #3865. Basically I forgot to shift 'back' when we got `dyn Trait`s back
from Chalk, so after going through Chalk a few times, the panic happened.
This commit is contained in:
Florian Diebold
2020-04-06 17:24:08 +02:00
parent 109bb1a793
commit 236ac630f6
3 changed files with 33 additions and 2 deletions

View File

@@ -860,7 +860,8 @@ pub trait TypeWalk {
);
self
}
// /// Shifts up debruijn indices of `Ty::Bound` vars by `n`.
/// Shifts up debruijn indices of `Ty::Bound` vars by `n`.
fn shift_bound_vars(self, n: DebruijnIndex) -> Self
where
Self: Sized,