aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/lib.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-04-06 16:24:08 +0100
committerFlorian Diebold <[email protected]>2020-04-06 16:26:26 +0100
commit236ac630f6ffc403257d4c77e6187819432956cf (patch)
tree57e2591705e62e646f1dea42c65bda04042e66fb /crates/ra_hir_ty/src/lib.rs
parent109bb1a7935e31d4ee3c036775a89ad0ac0e012b (diff)
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.
Diffstat (limited to 'crates/ra_hir_ty/src/lib.rs')
-rw-r--r--crates/ra_hir_ty/src/lib.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs
index 9d61bba40..717399b6d 100644
--- a/crates/ra_hir_ty/src/lib.rs
+++ b/crates/ra_hir_ty/src/lib.rs
@@ -860,7 +860,8 @@ pub trait TypeWalk {
860 ); 860 );
861 self 861 self
862 } 862 }
863 // /// Shifts up debruijn indices of `Ty::Bound` vars by `n`. 863
864 /// Shifts up debruijn indices of `Ty::Bound` vars by `n`.
864 fn shift_bound_vars(self, n: DebruijnIndex) -> Self 865 fn shift_bound_vars(self, n: DebruijnIndex) -> Self
865 where 866 where
866 Self: Sized, 867 Self: Sized,