typecheck guard pattern conditions

max-niederman · max-niederman · commit 33492c714b5d · 2024-09-15T12:42:47.000-07:00
diff --git a/compiler/rustc_hir_typeck/src/pat.rs b/compiler/rustc_hir_typeck/src/pat.rs
@@ -260,8 +260,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             PatKind::Struct(ref qpath, fields, has_rest_pat) => {
                 self.check_pat_struct(pat, qpath, fields, has_rest_pat, expected, pat_info)
             }
-            PatKind::Guard(pat, _) => {
+            PatKind::Guard(pat, cond) => {
                 self.check_pat(pat, expected, pat_info);
+                self.check_expr_has_type_or_error(cond, self.tcx.types.bool, |_| {});
                 expected
             }
             PatKind::Or(pats) => {

Original file line number	Diff line number	Diff line change
`@@ -260,8 +260,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`260`	`260`	`PatKind::Struct(ref qpath, fields, has_rest_pat) => {`
`261`	`261`	`self.check_pat_struct(pat, qpath, fields, has_rest_pat, expected, pat_info)`
`262`	`262`	`}`
`263`		`- PatKind::Guard(pat, _) => {`
	`263`	`+ PatKind::Guard(pat, cond) => {`
`264`	`264`	`self.check_pat(pat, expected, pat_info);`
	`265`	`+ self.check_expr_has_type_or_error(cond, self.tcx.types.bool, \|_\| {});`
`265`	`266`	`expected`
`266`	`267`	`}`
`267`	`268`	`PatKind::Or(pats) => {`