diff options
author | Florian Diebold <[email protected]> | 2021-03-18 20:53:19 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-03-18 20:53:19 +0000 |
commit | 7a7e47eab7323a8e122d9994b2936e50e42a1af2 (patch) | |
tree | a2ad2b6faf8c708fc593546df64d489c117b61f2 /crates/hir_ty/src/utils.rs | |
parent | b70bea0d7994cbe7b1e01e6b2e0f4ab3ac2c6fd5 (diff) |
Chalkify TraitRef
Diffstat (limited to 'crates/hir_ty/src/utils.rs')
-rw-r--r-- | crates/hir_ty/src/utils.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/crates/hir_ty/src/utils.rs b/crates/hir_ty/src/utils.rs index 7351e4e54..b66243d48 100644 --- a/crates/hir_ty/src/utils.rs +++ b/crates/hir_ty/src/utils.rs | |||
@@ -55,9 +55,9 @@ fn direct_super_trait_refs(db: &dyn HirDatabase, trait_ref: &TraitRef) -> Vec<Tr | |||
55 | // lifetime problems, but since there usually shouldn't be more than a | 55 | // lifetime problems, but since there usually shouldn't be more than a |
56 | // few direct traits this should be fine (we could even use some kind of | 56 | // few direct traits this should be fine (we could even use some kind of |
57 | // SmallVec if performance is a concern) | 57 | // SmallVec if performance is a concern) |
58 | let generic_params = db.generic_params(trait_ref.trait_.into()); | 58 | let generic_params = db.generic_params(trait_ref.hir_trait_id().into()); |
59 | let trait_self = match generic_params.find_trait_self_param() { | 59 | let trait_self = match generic_params.find_trait_self_param() { |
60 | Some(p) => TypeParamId { parent: trait_ref.trait_.into(), local_id: p }, | 60 | Some(p) => TypeParamId { parent: trait_ref.hir_trait_id().into(), local_id: p }, |
61 | None => return Vec::new(), | 61 | None => return Vec::new(), |
62 | }; | 62 | }; |
63 | db.generic_predicates_for_param(trait_self) | 63 | db.generic_predicates_for_param(trait_self) |
@@ -68,7 +68,7 @@ fn direct_super_trait_refs(db: &dyn HirDatabase, trait_ref: &TraitRef) -> Vec<Tr | |||
68 | _ => None, | 68 | _ => None, |
69 | }) | 69 | }) |
70 | }) | 70 | }) |
71 | .map(|pred| pred.subst(&trait_ref.substs)) | 71 | .map(|pred| pred.subst(&trait_ref.substitution)) |
72 | .collect() | 72 | .collect() |
73 | } | 73 | } |
74 | 74 | ||
@@ -108,7 +108,7 @@ pub(super) fn all_super_trait_refs(db: &dyn HirDatabase, trait_ref: TraitRef) -> | |||
108 | // yeah this is quadratic, but trait hierarchies should be flat | 108 | // yeah this is quadratic, but trait hierarchies should be flat |
109 | // enough that this doesn't matter | 109 | // enough that this doesn't matter |
110 | for tt in direct_super_trait_refs(db, t) { | 110 | for tt in direct_super_trait_refs(db, t) { |
111 | if !result.iter().any(|tr| tr.trait_ == tt.trait_) { | 111 | if !result.iter().any(|tr| tr.trait_id == tt.trait_id) { |
112 | result.push(tt); | 112 | result.push(tt); |
113 | } | 113 | } |
114 | } | 114 | } |
@@ -123,7 +123,7 @@ pub(super) fn associated_type_by_name_including_super_traits( | |||
123 | name: &Name, | 123 | name: &Name, |
124 | ) -> Option<(TraitRef, TypeAliasId)> { | 124 | ) -> Option<(TraitRef, TypeAliasId)> { |
125 | all_super_trait_refs(db, trait_ref).into_iter().find_map(|t| { | 125 | all_super_trait_refs(db, trait_ref).into_iter().find_map(|t| { |
126 | let assoc_type = db.trait_data(t.trait_).associated_type_by_name(name)?; | 126 | let assoc_type = db.trait_data(t.hir_trait_id()).associated_type_by_name(name)?; |
127 | Some((t, assoc_type)) | 127 | Some((t, assoc_type)) |
128 | }) | 128 | }) |
129 | } | 129 | } |