Remove unnecessary Option

This commit is contained in:
Ryo Yoshida 2022-09-13 01:52:16 +09:00
parent efb56160c9
commit d223c28c7d
No known key found for this signature in database
GPG key ID: E25698A930586171
3 changed files with 10 additions and 5 deletions

View file

@ -2880,7 +2880,12 @@ impl Type {
})
.build();
db.normalize_projection(projection, self.env.clone()).map(|ty| self.derived(ty))
let ty = db.normalize_projection(projection, self.env.clone());
if ty.is_unknown() {
None
} else {
Some(self.derived(ty))
}
}
pub fn is_copy(&self, db: &dyn HirDatabase) -> bool {