From d7546d8c2323adff53c8170c528e82a8131681c5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lauren=C8=9Biu=20Nicola?= Date: Mon, 5 Apr 2021 17:38:37 +0300 Subject: Pass interner to TraitRef::self_type_parameter --- crates/hir_ty/src/traits/chalk/mapping.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs') diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 240f9d456..67e88ebf4 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs @@ -539,7 +539,7 @@ pub(super) fn generic_predicate_to_inline_bound( let self_ty_shifted_in = self_ty.clone().shift_bound_vars(DebruijnIndex::ONE); match &pred.value { WhereClause::Implemented(trait_ref) => { - if trait_ref.self_type_parameter() != &self_ty_shifted_in { + if trait_ref.self_type_parameter(&Interner) != &self_ty_shifted_in { // we can only convert predicates back to type bounds if they // have the expected self type return None; -- cgit v1.2.3