diff options
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
-rw-r--r-- | crates/hir_ty/src/lib.rs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs index 6d6443ca3..a8c87eadf 100644 --- a/crates/hir_ty/src/lib.rs +++ b/crates/hir_ty/src/lib.rs | |||
@@ -462,12 +462,6 @@ impl Substitution { | |||
462 | ) -> Self { | 462 | ) -> Self { |
463 | Substitution(elements.into_iter().casted(interner).collect()) | 463 | Substitution(elements.into_iter().casted(interner).collect()) |
464 | } | 464 | } |
465 | |||
466 | /// Return Substs that replace each parameter by itself (i.e. `Ty::Param`). | ||
467 | pub fn type_params(db: &dyn HirDatabase, def: impl Into<GenericDefId>) -> Substitution { | ||
468 | let params = generics(db.upcast(), def.into()); | ||
469 | params.type_params_subst(db) | ||
470 | } | ||
471 | } | 465 | } |
472 | 466 | ||
473 | /// Return an index of a parameter in the generic type parameter list by it's id. | 467 | /// Return an index of a parameter in the generic type parameter list by it's id. |
@@ -944,7 +938,7 @@ impl Ty { | |||
944 | let param_data = &generic_params.types[id.local_id]; | 938 | let param_data = &generic_params.types[id.local_id]; |
945 | match param_data.provenance { | 939 | match param_data.provenance { |
946 | hir_def::generics::TypeParamProvenance::ArgumentImplTrait => { | 940 | hir_def::generics::TypeParamProvenance::ArgumentImplTrait => { |
947 | let substs = Substitution::type_params(db, id.parent); | 941 | let substs = TyBuilder::type_params_subst(db, id.parent); |
948 | let predicates = db | 942 | let predicates = db |
949 | .generic_predicates(id.parent) | 943 | .generic_predicates(id.parent) |
950 | .into_iter() | 944 | .into_iter() |