v3

Author: alibektas

crates/hir-ty/src/infer/expr.rs

@@ -334,7 +334,11 @@ impl InferenceContext<'_> {
                     ExprIsRead::No
                 };
                 let input_ty = self.infer_expr(expr, &Expectation::none(), child_is_read);
-                self.infer_top_pat(pat, &input_ty, None);
+                self.infer_top_pat(
+                    pat,
+                    &input_ty,
+                    Some(DeclContext { origin: DeclOrigin::LetExpr }),
+                );
                 self.result.standard_types.bool_.clone()
             }
             Expr::Block { statements, tail, label, id } => {

crates/hir-ty/src/lib.rs

@@ -1052,8 +1052,11 @@ pub fn known_const_to_ast(
 
 #[derive(Debug, Copy, Clone)]
 pub(crate) enum DeclOrigin {
+    LetExpr,
     /// from `let x = ..`
-    LocalDecl { has_else: bool },
+    LocalDecl {
+        has_else: bool,
+    },
 }
 
 /// Provides context for checking patterns in declarations. More specifically this