use hir::Let in hir::Guard

SparrowLii · SparrowLii · commit 5251a80c0adf · 2022-05-09T20:35:58.000+08:00
diff --git a/compiler/rustc_ast_lowering/src/expr.rs b/compiler/rustc_ast_lowering/src/expr.rs
@@ -505,8 +505,14 @@ impl<'hir> LoweringContext<'_, 'hir> {
     fn lower_arm(&mut self, arm: &Arm) -> hir::Arm<'hir> {
         let pat = self.lower_pat(&arm.pat);
         let guard = arm.guard.as_ref().map(|cond| {
-            if let ExprKind::Let(ref pat, ref scrutinee, _) = cond.kind {
-                hir::Guard::IfLet(self.lower_pat(pat), self.lower_expr(scrutinee))
+            if let ExprKind::Let(ref pat, ref scrutinee, span) = cond.kind {
+                hir::Guard::IfLet(self.arena.alloc(hir::Let {
+                    hir_id: self.next_id(),
+                    span: self.lower_span(span),
+                    pat: self.lower_pat(pat),
+                    ty: None,
+                    init: self.lower_expr(scrutinee),
+                }))
             } else {
                 hir::Guard::If(self.lower_expr(cond))
             }
diff --git a/compiler/rustc_hir/src/hir.rs b/compiler/rustc_hir/src/hir.rs
@@ -1312,8 +1312,7 @@ pub struct Let<'hir> {
 #[derive(Debug, HashStable_Generic)]
 pub enum Guard<'hir> {
     If(&'hir Expr<'hir>),
-    // FIXME use hir::Let for this.
-    IfLet(&'hir Pat<'hir>, &'hir Expr<'hir>),
+    IfLet(&'hir Let<'hir>),
 }
 
 #[derive(Debug, HashStable_Generic)]
diff --git a/compiler/rustc_hir/src/intravisit.rs b/compiler/rustc_hir/src/intravisit.rs
@@ -1233,9 +1233,8 @@ pub fn walk_arm<'v, V: Visitor<'v>>(visitor: &mut V, arm: &'v Arm<'v>) {
     if let Some(ref g) = arm.guard {
         match g {
             Guard::If(ref e) => visitor.visit_expr(e),
-            Guard::IfLet(ref pat, ref e) => {
-                visitor.visit_pat(pat);
-                visitor.visit_expr(e);
+            Guard::IfLet(ref l) => {
+                visitor.visit_let_expr(l);
             }
         }
     }
diff --git a/compiler/rustc_hir_pretty/src/lib.rs b/compiler/rustc_hir_pretty/src/lib.rs
@@ -1915,14 +1915,9 @@ impl<'a> State<'a> {
                     self.print_expr(&e);
                     self.space();
                 }
-                hir::Guard::IfLet(pat, e) => {
+                hir::Guard::IfLet(hir::Let { pat, ty, init, .. }) => {
                     self.word_nbsp("if");
-                    self.word_nbsp("let");
-                    self.print_pat(&pat);
-                    self.space();
-                    self.word_space("=");
-                    self.print_expr(&e);
-                    self.space();
+                    self.print_let(pat, *ty, init);
                 }
             }
         }
diff --git a/compiler/rustc_mir_build/src/thir/cx/expr.rs b/compiler/rustc_mir_build/src/thir/cx/expr.rs
@@ -798,8 +798,8 @@ impl<'tcx> Cx<'tcx> {
             pattern: self.pattern_from_hir(&arm.pat),
             guard: arm.guard.as_ref().map(|g| match g {
                 hir::Guard::If(ref e) => Guard::If(self.mirror_expr(e)),
-                hir::Guard::IfLet(ref pat, ref e) => {
-                    Guard::IfLet(self.pattern_from_hir(pat), self.mirror_expr(e))
+                hir::Guard::IfLet(ref l) => {
+                    Guard::IfLet(self.pattern_from_hir(l.pat), self.mirror_expr(l.init))
                 }
             }),
             body: self.mirror_expr(arm.body),
diff --git a/compiler/rustc_mir_build/src/thir/pattern/check_match.rs b/compiler/rustc_mir_build/src/thir/pattern/check_match.rs
@@ -173,10 +173,10 @@ impl<'p, 'tcx> MatchVisitor<'_, 'p, 'tcx> {
         for arm in hir_arms {
             // Check the arm for some things unrelated to exhaustiveness.
             self.check_patterns(&arm.pat, Refutable);
-            if let Some(hir::Guard::IfLet(ref pat, _)) = arm.guard {
-                self.check_patterns(pat, Refutable);
-                let tpat = self.lower_pattern(&mut cx, pat, &mut false);
-                self.check_let_reachability(&mut cx, pat.hir_id, tpat, tpat.span());
+            if let Some(hir::Guard::IfLet(ref let_expr)) = arm.guard {
+                self.check_patterns(let_expr.pat, Refutable);
+                let tpat = self.lower_pattern(&mut cx, let_expr.pat, &mut false);
+                self.check_let_reachability(&mut cx, let_expr.pat.hir_id, tpat, tpat.span());
             }
         }
 
@@ -1108,9 +1108,9 @@ fn let_source_parent(tcx: TyCtxt<'_>, parent: HirId, pat_id: Option<HirId>) -> L
 
     match parent_node {
         hir::Node::Arm(hir::Arm {
-            guard: Some(hir::Guard::IfLet(&hir::Pat { hir_id, .. }, _)),
+            guard: Some(hir::Guard::IfLet(&hir::Let { pat: hir::Pat { hir_id, .. }, .. })),
             ..
-        }) if Some(hir_id) == pat_id => {
+        }) if Some(*hir_id) == pat_id => {
             return LetSource::IfLetGuard;
         }
         hir::Node::Expr(hir::Expr { kind: hir::ExprKind::Let(..), span, .. }) => {
diff --git a/compiler/rustc_passes/src/liveness.rs b/compiler/rustc_passes/src/liveness.rs
@@ -373,8 +373,8 @@ impl<'tcx> Visitor<'tcx> for IrMaps<'tcx> {
 
     fn visit_arm(&mut self, arm: &'tcx hir::Arm<'tcx>) {
         self.add_from_pat(&arm.pat);
-        if let Some(hir::Guard::IfLet(ref pat, _)) = arm.guard {
-            self.add_from_pat(pat);
+        if let Some(hir::Guard::IfLet(ref let_expr)) = arm.guard {
+            self.add_from_pat(let_expr.pat);
         }
         intravisit::walk_arm(self, arm);
     }
@@ -914,9 +914,9 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {
 
                     let guard_succ = arm.guard.as_ref().map_or(body_succ, |g| match g {
                         hir::Guard::If(e) => self.propagate_through_expr(e, body_succ),
-                        hir::Guard::IfLet(pat, e) => {
-                            let let_bind = self.define_bindings_in_pat(pat, body_succ);
-                            self.propagate_through_expr(e, let_bind)
+                        hir::Guard::IfLet(let_expr) => {
+                            let let_bind = self.define_bindings_in_pat(let_expr.pat, body_succ);
+                            self.propagate_through_expr(let_expr.init, let_bind)
                         }
                     });
                     let arm_succ = self.define_bindings_in_pat(&arm.pat, guard_succ);
diff --git a/compiler/rustc_typeck/src/check/_match.rs b/compiler/rustc_typeck/src/check/_match.rs
@@ -82,13 +82,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                     hir::Guard::If(e) => {
                         self.check_expr_has_type_or_error(e, tcx.types.bool, |_| {});
                     }
-                    hir::Guard::IfLet(pat, e) => {
-                        let scrutinee_ty = self.demand_scrutinee_type(
-                            e,
-                            pat.contains_explicit_ref_binding(),
-                            false,
-                        );
-                        self.check_pat_top(&pat, scrutinee_ty, None, true);
+                    hir::Guard::IfLet(l) => {
+                        self.check_expr_let(l);
                     }
                 };
             }
diff --git a/compiler/rustc_typeck/src/check/expr.rs b/compiler/rustc_typeck/src/check/expr.rs
@@ -1064,7 +1064,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
         }
     }
 
-    fn check_expr_let(&self, let_expr: &'tcx hir::Let<'tcx>) -> Ty<'tcx> {
+    pub(super) fn check_expr_let(&self, let_expr: &'tcx hir::Let<'tcx>) -> Ty<'tcx> {
         // for let statements, this is done in check_stmt
         let init = let_expr.init;
         self.warn_if_unreachable(init.hir_id, init.span, "block in `let` expression");
diff --git a/compiler/rustc_typeck/src/check/generator_interior.rs b/compiler/rustc_typeck/src/check/generator_interior.rs
@@ -298,9 +298,8 @@ impl<'a, 'tcx> Visitor<'tcx> for InteriorVisitor<'a, 'tcx> {
                 Guard::If(ref e) => {
                     self.visit_expr(e);
                 }
-                Guard::IfLet(ref pat, ref e) => {
-                    self.visit_pat(pat);
-                    self.visit_expr(e);
+                Guard::IfLet(ref l) => {
+                    self.visit_let_expr(l);
                 }
             }
 
diff --git a/compiler/rustc_typeck/src/check/generator_interior/drop_ranges/cfg_build.rs b/compiler/rustc_typeck/src/check/generator_interior/drop_ranges/cfg_build.rs
@@ -344,9 +344,8 @@ impl<'a, 'tcx> Visitor<'tcx> for DropRangeVisitor<'a, 'tcx> {
                         // B -> C and E -> F are added implicitly due to the traversal order.
                         match guard {
                             Some(Guard::If(expr)) => self.visit_expr(expr),
-                            Some(Guard::IfLet(pat, expr)) => {
-                                self.visit_pat(pat);
-                                self.visit_expr(expr);
+                            Some(Guard::IfLet(let_expr)) => {
+                                self.visit_let_expr(let_expr);
                             }
                             None => (),
                         }
diff --git a/compiler/rustc_typeck/src/expr_use_visitor.rs b/compiler/rustc_typeck/src/expr_use_visitor.rs
@@ -625,8 +625,8 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {
 
         if let Some(hir::Guard::If(e)) = arm.guard {
             self.consume_expr(e)
-        } else if let Some(hir::Guard::IfLet(_, ref e)) = arm.guard {
-            self.consume_expr(e)
+        } else if let Some(hir::Guard::IfLet(ref l)) = arm.guard {
+            self.consume_expr(l.init)
         }
 
         self.consume_expr(arm.body);
diff --git a/src/test/ui/rfc-2294-if-let-guard/typeck.stderr b/src/test/ui/rfc-2294-if-let-guard/typeck.stderr
@@ -2,7 +2,9 @@ error[E0308]: mismatched types
   --> $DIR/typeck.rs:9:22
    |
 LL |         Ok(x) if let Err(_) = x => {},
-   |                      ^^^^^^ expected enum `Option`, found enum `Result`
+   |                      ^^^^^^   - this expression has type `Option<bool>`
+   |                      |
+   |                      expected enum `Option`, found enum `Result`
    |
    = note: expected enum `Option<bool>`
               found enum `Result<_, _>`
@@ -11,7 +13,9 @@ error[E0308]: mismatched types
   --> $DIR/typeck.rs:11:22
    |
 LL |         Ok(x) if let 0 = x => {},
-   |                      ^ expected enum `Option`, found integer
+   |                      ^   - this expression has type `Option<bool>`
+   |                      |
+   |                      expected enum `Option`, found integer
    |
    = note: expected enum `Option<bool>`
               found type `{integer}`

Original file line number	Diff line number	Diff line change
`@@ -1312,8 +1312,7 @@ pub struct Let<'hir> {`
`1312`	`1312`	`#[derive(Debug, HashStable_Generic)]`
`1313`	`1313`	`pub enum Guard<'hir> {`
`1314`	`1314`	`If(&'hir Expr<'hir>),`
`1315`		`- // FIXME use hir::Let for this.`
`1316`		`- IfLet(&'hir Pat<'hir>, &'hir Expr<'hir>),`
	`1315`	`+ IfLet(&'hir Let<'hir>),`
`1317`	`1316`	`}`
`1318`	`1317`
`1319`	`1318`	`#[derive(Debug, HashStable_Generic)]`
Original file line number	Diff line number	Diff line change
`@@ -1233,9 +1233,8 @@ pub fn walk_arm<'v, V: Visitor<'v>>(visitor: &mut V, arm: &'v Arm<'v>) {`
`1233`	`1233`	`if let Some(ref g) = arm.guard {`
`1234`	`1234`	`match g {`
`1235`	`1235`	`Guard::If(ref e) => visitor.visit_expr(e),`
`1236`		`- Guard::IfLet(ref pat, ref e) => {`
`1237`		`- visitor.visit_pat(pat);`
`1238`		`- visitor.visit_expr(e);`
	`1236`	`+ Guard::IfLet(ref l) => {`
	`1237`	`+ visitor.visit_let_expr(l);`
`1239`	`1238`	`}`
`1240`	`1239`	`}`
`1241`	`1240`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1915,14 +1915,9 @@ impl<'a> State<'a> {`
`1915`	`1915`	`self.print_expr(&e);`
`1916`	`1916`	`self.space();`
`1917`	`1917`	`}`
`1918`		`- hir::Guard::IfLet(pat, e) => {`
	`1918`	`+ hir::Guard::IfLet(hir::Let { pat, ty, init, .. }) => {`
`1919`	`1919`	`self.word_nbsp("if");`
`1920`		`- self.word_nbsp("let");`
`1921`		`- self.print_pat(&pat);`
`1922`		`- self.space();`
`1923`		`- self.word_space("=");`
`1924`		`- self.print_expr(&e);`
`1925`		`- self.space();`
	`1920`	`+ self.print_let(pat, *ty, init);`
`1926`	`1921`	`}`
`1927`	`1922`	`}`
`1928`	`1923`	`}`
Original file line number	Diff line number	Diff line change
`@@ -82,13 +82,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`82`	`82`	`hir::Guard::If(e) => {`
`83`	`83`	`self.check_expr_has_type_or_error(e, tcx.types.bool, \|_\| {});`
`84`	`84`	`}`
`85`		`- hir::Guard::IfLet(pat, e) => {`
`86`		`- let scrutinee_ty = self.demand_scrutinee_type(`
`87`		`- e,`
`88`		`- pat.contains_explicit_ref_binding(),`
`89`		`- false,`
`90`		`- );`
`91`		`- self.check_pat_top(&pat, scrutinee_ty, None, true);`
	`85`	`+ hir::Guard::IfLet(l) => {`
	`86`	`+ self.check_expr_let(l);`
`92`	`87`	`}`
`93`	`88`	`};`
`94`	`89`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1064,7 +1064,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`1064`	`1064`	`}`
`1065`	`1065`	`}`
`1066`	`1066`
`1067`		`- fn check_expr_let(&self, let_expr: &'tcx hir::Let<'tcx>) -> Ty<'tcx> {`
	`1067`	`+ pub(super) fn check_expr_let(&self, let_expr: &'tcx hir::Let<'tcx>) -> Ty<'tcx> {`
`1068`	`1068`	`// for let statements, this is done in check_stmt`
`1069`	`1069`	`let init = let_expr.init;`
`1070`	`1070`	self.warn_if_unreachable(init.hir_id, init.span, "block in `let` expression");
Original file line number	Diff line number	Diff line change
`@@ -298,9 +298,8 @@ impl<'a, 'tcx> Visitor<'tcx> for InteriorVisitor<'a, 'tcx> {`
`298`	`298`	`Guard::If(ref e) => {`
`299`	`299`	`self.visit_expr(e);`
`300`	`300`	`}`
`301`		`- Guard::IfLet(ref pat, ref e) => {`
`302`		`- self.visit_pat(pat);`
`303`		`- self.visit_expr(e);`
	`301`	`+ Guard::IfLet(ref l) => {`
	`302`	`+ self.visit_let_expr(l);`
`304`	`303`	`}`
`305`	`304`	`}`
`306`	`305`
Original file line number	Diff line number	Diff line change
`@@ -344,9 +344,8 @@ impl<'a, 'tcx> Visitor<'tcx> for DropRangeVisitor<'a, 'tcx> {`
`344`	`344`	`// B -> C and E -> F are added implicitly due to the traversal order.`
`345`	`345`	`match guard {`
`346`	`346`	`Some(Guard::If(expr)) => self.visit_expr(expr),`
`347`		`- Some(Guard::IfLet(pat, expr)) => {`
`348`		`- self.visit_pat(pat);`
`349`		`- self.visit_expr(expr);`
	`347`	`+ Some(Guard::IfLet(let_expr)) => {`
	`348`	`+ self.visit_let_expr(let_expr);`
`350`	`349`	`}`
`351`	`350`	`None => (),`
`352`	`351`	`}`
Original file line number	Diff line number	Diff line change
`@@ -625,8 +625,8 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> {`
`625`	`625`
`626`	`626`	`if let Some(hir::Guard::If(e)) = arm.guard {`
`627`	`627`	`self.consume_expr(e)`
`628`		`- } else if let Some(hir::Guard::IfLet(_, ref e)) = arm.guard {`
`629`		`- self.consume_expr(e)`
	`628`	`+ } else if let Some(hir::Guard::IfLet(ref l)) = arm.guard {`
	`629`	`+ self.consume_expr(l.init)`
`630`	`630`	`}`
`631`	`631`
`632`	`632`	`self.consume_expr(arm.body);`
Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,9 @@ error[E0308]: mismatched types`
`2`	`2`	`--> $DIR/typeck.rs:9:22`
`3`	`3`	`\|`
`4`	`4`	`LL \| Ok(x) if let Err(_) = x => {},`
`5`		- \| ^^^^^^ expected enum `Option`, found enum `Result`
	`5`	+ \| ^^^^^^ - this expression has type `Option<bool>`
	`6`	`+ \| \|`
	`7`	+ \| expected enum `Option`, found enum `Result`
`6`	`8`	`\|`
`7`	`9`	= note: expected enum `Option<bool>`
`8`	`10`	found enum `Result<_, _>`
`@@ -11,7 +13,9 @@ error[E0308]: mismatched types`
`11`	`13`	`--> $DIR/typeck.rs:11:22`
`12`	`14`	`\|`
`13`	`15`	`LL \| Ok(x) if let 0 = x => {},`
`14`		- \| ^ expected enum `Option`, found integer
	`16`	+ \| ^ - this expression has type `Option<bool>`
	`17`	`+ \| \|`
	`18`	+ \| expected enum `Option`, found integer
`15`	`19`	`\|`
`16`	`20`	= note: expected enum `Option<bool>`
`17`	`21`	found type `{integer}`