aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits.rs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-04-05 16:47:09 +0100
committerGitHub <[email protected]>2021-04-05 16:47:09 +0100
commit013cc7dd8b4b4cc9f7dca706917b15a34e85ccba (patch)
tree511c31f0b647044294eba7c4394ee3e4ba7b13b6 /crates/hir_ty/src/traits.rs
parentfab1c066464022613729a6d714dc83b7d698ece5 (diff)
parentd7546d8c2323adff53c8170c528e82a8131681c5 (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.rs2
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 }