diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-06 16:28:42 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-06 16:28:42 +0100 |
commit | c859a6480af7baece2eec38c19f71cb714db9e3b (patch) | |
tree | 57e2591705e62e646f1dea42c65bda04042e66fb /crates/ra_hir_ty/src/lib.rs | |
parent | 109bb1a7935e31d4ee3c036775a89ad0ac0e012b (diff) | |
parent | 236ac630f6ffc403257d4c77e6187819432956cf (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.rs | 3 |
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, |