aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/lib.rs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-04-06 16:28:42 +0100
committerGitHub <[email protected]>2020-04-06 16:28:42 +0100
commitc859a6480af7baece2eec38c19f71cb714db9e3b (patch)
tree57e2591705e62e646f1dea42c65bda04042e66fb /crates/ra_hir_ty/src/lib.rs
parent109bb1a7935e31d4ee3c036775a89ad0ac0e012b (diff)
parent236ac630f6ffc403257d4c77e6187819432956cf (diff)
Merge #3868
3868: Fix Chalk panic r=flodiebold a=flodiebold 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. And yes, I did run `analysis-stats` now ;) cc @edwin0cheng Co-authored-by: Florian Diebold <[email protected]>
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,