1 files changed, 8 insertions, 2 deletions

diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs
index a685e70c2..314be17b8 100644
--- a/crates/ra_hir_ty/src/lib.rs
+++ b/crates/ra_hir_ty/src/lib.rs
@@ -361,10 +361,16 @@ impl Substs {
     }
 
     /// Return Substs that replace each parameter by itself (i.e. `Ty::Param`).
-    pub(crate) fn type_params(generic_params: &Generics) -> Substs {
+    pub(crate) fn type_params_for_generics(generic_params: &Generics) -> Substs {
         Substs(generic_params.iter().map(|(id, _)| Ty::Param(id)).collect())
     }
 
+    /// Return Substs that replace each parameter by itself (i.e. `Ty::Param`).
+    pub fn type_params(db: &impl HirDatabase, def: impl Into<GenericDefId>) -> Substs {
+        let params = generics(db, def.into());
+        Substs::type_params_for_generics(&params)
+    }
+
     /// Return Substs that replace each parameter by a bound variable.
     pub(crate) fn bound_vars(generic_params: &Generics) -> Substs {
         Substs(generic_params.iter().enumerate().map(|(idx, _)| Ty::Bound(idx as u32)).collect())
@@ -1026,7 +1032,7 @@ impl HirDisplay for Ty {
                     TypeParamProvenance::ArgumentImplTrait => {
                         write!(f, "impl ")?;
                         let bounds = f.db.generic_predicates_for_param(*id);
-                        let substs = Substs::type_params(&generics);
+                        let substs = Substs::type_params_for_generics(&generics);
                         write_bounds_like_dyn_trait(&bounds.iter().map(|b| b.clone().subst(&substs)).collect::<Vec<_>>(), f)?;
                     }
                 }