Correctly fill default type parameters

1 files changed, 5 insertions, 0 deletions

diff --git a/crates/ra_hir/src/code_model.rs b/crates/ra_hir/src/code_model.rs
index e8e3211fc..3c56f39c1 100644
--- a/crates/ra_hir/src/code_model.rs
+++ b/crates/ra_hir/src/code_model.rs
@@ -989,6 +989,11 @@ impl TypeParam {
             ty: InEnvironment { value: ty, environment },
         }
     }
+
+    pub fn default(self, db: &dyn HirDatabase) -> Option<TypeRef> {
+        let params = db.generic_params(self.id.parent);
+        params.types[self.id.local_id].default.clone()
+    }
 }
 
 // FIXME: rename from `ImplDef` to `Impl`