diff options
author | Laurențiu Nicola <[email protected]> | 2021-04-05 15:38:37 +0100 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2021-04-05 15:38:37 +0100 |
commit | d7546d8c2323adff53c8170c528e82a8131681c5 (patch) | |
tree | 511c31f0b647044294eba7c4394ee3e4ba7b13b6 /crates/hir_ty/src/lower.rs | |
parent | aefcbf275804f558ab18e83bfc8869187713b4ad (diff) |
Pass interner to TraitRef::self_type_parameter
Diffstat (limited to 'crates/hir_ty/src/lower.rs')
-rw-r--r-- | crates/hir_ty/src/lower.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/hir_ty/src/lower.rs b/crates/hir_ty/src/lower.rs index ba48be4ad..e9e4e69ad 100644 --- a/crates/hir_ty/src/lower.rs +++ b/crates/hir_ty/src/lower.rs | |||
@@ -941,7 +941,8 @@ pub(crate) fn trait_environment_query( | |||
941 | for pred in resolver.where_predicates_in_scope() { | 941 | for pred in resolver.where_predicates_in_scope() { |
942 | for pred in ctx.lower_where_predicate(pred, false) { | 942 | for pred in ctx.lower_where_predicate(pred, false) { |
943 | if let WhereClause::Implemented(tr) = &pred.skip_binders() { | 943 | if let WhereClause::Implemented(tr) = &pred.skip_binders() { |
944 | traits_in_scope.push((tr.self_type_parameter().clone(), tr.hir_trait_id())); | 944 | traits_in_scope |
945 | .push((tr.self_type_parameter(&Interner).clone(), tr.hir_trait_id())); | ||
945 | } | 946 | } |
946 | let program_clause: chalk_ir::ProgramClause<Interner> = | 947 | let program_clause: chalk_ir::ProgramClause<Interner> = |
947 | pred.clone().to_chalk(db).cast(&Interner); | 948 | pred.clone().to_chalk(db).cast(&Interner); |