Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/infer/unify.rs')
| -rw-r--r-- | crates/hir-ty/src/infer/unify.rs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/crates/hir-ty/src/infer/unify.rs b/crates/hir-ty/src/infer/unify.rs index ac39bdf5bf..9c41540077 100644 --- a/crates/hir-ty/src/infer/unify.rs +++ b/crates/hir-ty/src/infer/unify.rs @@ -250,9 +250,7 @@ impl<'a> InferenceTable<'a> { // and registering an obligation. But it needs chalk support, so we handle the most basic // case (a non associated const without generic parameters) manually. if subst.len(Interner) == 0 { - if let Ok(eval) = - self.db.const_eval((*c_id).into(), subst.clone(), None) - { + if let Ok(eval) = self.db.const_eval(*c_id, subst.clone(), None) { eval } else { unknown_const(c.data(Interner).ty.clone()) @@ -490,9 +488,8 @@ impl<'a> InferenceTable<'a> { pub(crate) fn try_obligation(&mut self, goal: Goal) -> Option<Solution> { let in_env = InEnvironment::new(&self.trait_env.env, goal); let canonicalized = self.canonicalize(in_env); - let solution = - self.db.trait_solve(self.trait_env.krate, self.trait_env.block, canonicalized.value); - solution + + self.db.trait_solve(self.trait_env.krate, self.trait_env.block, canonicalized.value) } pub(crate) fn register_obligation(&mut self, goal: Goal) { |