aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-04 12:16:16 +0100
committerFlorian Diebold <[email protected]>2021-04-04 12:16:39 +0100
commitebdfc932e74ff11c8c14c513614212b7c07bf400 (patch)
tree85263e70c101206330ed95c00ce226a61c098c0c /crates/hir_ty/src/lib.rs
parenta4d7bdf1c884a9f3dd415a882fa56422adae89bf (diff)
Replace Substitution::type_params
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
-rw-r--r--crates/hir_ty/src/lib.rs8
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()