squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Ty -> Type

Browse source
This commit is contained in:
Fedor Sakharov 2020-05-14 13:53:45 +03:00
parent 12bf008ab1
commit ccd5268374
No known key found for this signature in database
GPG key ID: 93D436E666BF0FEE
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
crates/ra_hir/src/code_model.rs
View file

@ -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 },
})
}
}