diff options
author | Florian Diebold <[email protected]> | 2021-04-03 21:45:31 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-04 12:16:38 +0100 |
commit | ac8fee006a4858230fe22dfdb5647a3d0e19bb64 (patch) | |
tree | 51f41257e2756c2fbcf442bd946c1ae5044ce4aa | |
parent | eaa03ef4465765a16951faa54dd8ebc53095e2c8 (diff) |
Use TyBuilder in another place
-rw-r--r-- | crates/hir_ty/src/lower.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/crates/hir_ty/src/lower.rs b/crates/hir_ty/src/lower.rs index 762b226e6..644a2eed5 100644 --- a/crates/hir_ty/src/lower.rs +++ b/crates/hir_ty/src/lower.rs | |||
@@ -860,10 +860,9 @@ pub fn associated_type_shorthand_candidates<R>( | |||
860 | if generics.params.types[param_id.local_id].provenance | 860 | if generics.params.types[param_id.local_id].provenance |
861 | == TypeParamProvenance::TraitSelf | 861 | == TypeParamProvenance::TraitSelf |
862 | { | 862 | { |
863 | let trait_ref = TraitRef { | 863 | let trait_ref = TyBuilder::trait_ref(db, trait_id) |
864 | trait_id: to_chalk_trait_id(trait_id), | 864 | .fill_with_bound_vars(DebruijnIndex::INNERMOST, 0) |
865 | substitution: Substitution::bound_vars(&generics, DebruijnIndex::INNERMOST), | 865 | .build(); |
866 | }; | ||
867 | return search(trait_ref); | 866 | return search(trait_ref); |
868 | } | 867 | } |
869 | } | 868 | } |