We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b21f15a commit df4bb02Copy full SHA for df4bb02
crates/hir/src/lib.rs
@@ -2504,8 +2504,7 @@ impl Type {
2504
2505
pub fn autoderef<'a>(&'a self, db: &'a dyn HirDatabase) -> impl Iterator<Item = Type> + 'a {
2506
// There should be no inference vars in types passed here
2507
- let ty = hir_ty::replace_errors_with_variables(&self.ty).value;
2508
- let canonical = Canonical { value: ty, binders: CanonicalVarKinds::empty(&Interner) };
+ let canonical = hir_ty::replace_errors_with_variables(&self.ty);
2509
let environment = self.env.env.clone();
2510
let ty = InEnvironment { goal: canonical, environment };
2511
autoderef(db, Some(self.krate), ty)
0 commit comments