diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-05 16:47:09 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-05 16:47:09 +0100 |
commit | 013cc7dd8b4b4cc9f7dca706917b15a34e85ccba (patch) | |
tree | 511c31f0b647044294eba7c4394ee3e4ba7b13b6 /crates/hir_ty/src/traits.rs | |
parent | fab1c066464022613729a6d714dc83b7d698ece5 (diff) | |
parent | d7546d8c2323adff53c8170c528e82a8131681c5 (diff) |
Merge #8344
8344: Pass interner to `ProjectionTy::self_type_parameter` and `TraitRef::self_type_parameter` r=flodiebold a=lnicola
CC #8313
changelog skip
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/traits.rs')
-rw-r--r-- | crates/hir_ty/src/traits.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/traits.rs b/crates/hir_ty/src/traits.rs index 66d600bfc..c8883485c 100644 --- a/crates/hir_ty/src/traits.rs +++ b/crates/hir_ty/src/traits.rs | |||
@@ -89,7 +89,7 @@ pub(crate) fn trait_solve_query( | |||
89 | .. | 89 | .. |
90 | })) = &goal.value.goal | 90 | })) = &goal.value.goal |
91 | { | 91 | { |
92 | if let TyKind::BoundVar(_) = projection_ty.self_type_parameter().kind(&Interner) { | 92 | if let TyKind::BoundVar(_) = projection_ty.self_type_parameter(&Interner).kind(&Interner) { |
93 | // Hack: don't ask Chalk to normalize with an unknown self type, it'll say that's impossible | 93 | // Hack: don't ask Chalk to normalize with an unknown self type, it'll say that's impossible |
94 | return Some(Solution::Ambig(Guidance::Unknown)); | 94 | return Some(Solution::Ambig(Guidance::Unknown)); |
95 | } | 95 | } |