&self,
projection: crate::ProjectionTy,
env: Arc<crate::TraitEnvironment>,
- ) -> Option<crate::Ty>;
+ ) -> Ty;
#[salsa::invoke(trait_solve_wait)]
#[salsa::transparent]
db: &dyn HirDatabase,
projection: ProjectionTy,
env: Arc<TraitEnvironment>,
-) -> Option<Ty> {
- let mut table = InferenceTable::new(db, env.clone());
+) -> Ty {
+ let mut table = InferenceTable::new(db, env);
let ty = table.normalize_projection_ty(projection);
- Some(table.resolve_completely(ty))
+ table.resolve_completely(ty)
}
/// Solve a trait goal using Chalk.
})
.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 {