Ty -> Type

Author: montekki

crates/ra_hir/src/code_model.rs

@@ -990,10 +990,15 @@ impl TypeParam {
         }
     }
 
-    pub fn default(self, db: &dyn HirDatabase) -> Option<Ty> {
+    pub fn default(self, db: &dyn HirDatabase) -> Option<Type> {
         let params = db.generic_defaults(self.id.parent);
         let local_idx = hir_ty::param_idx(db, self.id)?;
-        params.get(local_idx).map(|d| d.clone())
+        let resolver = self.id.parent.resolver(db.upcast());
+        let environment = TraitEnvironment::lower(db, &resolver);
+        params.get(local_idx).cloned().map(|ty| Type {
+            krate: self.id.parent.module(db.upcast()).krate,
+            ty: InEnvironment { value: ty, environment },
+        })
     }
 }