Fix explicit types in for loops

compiler/qsc_frontend/src/resolve.rs

@@ -1290,6 +1290,7 @@ impl With<'_> {
     /// Apply `f` to self while a pattern's constituent identifiers are in scope. Removes those
     /// identifiers from the scope after `f`.
     fn with_pat(&mut self, span: Span, kind: ScopeKind, pat: &ast::Pat, f: impl FnOnce(&mut Self)) {
+        self.visit_pat(pat);
         self.with_scope(span, kind, |visitor| {
             // The bindings are valid from the beginning of the scope
             visitor.resolver.bind_pat(pat, span.lo);

compiler/qsc_frontend/src/resolve/tests.rs

@@ -1589,6 +1589,30 @@ fn for_loop_var() {
     );
 }
 
+#[test]
+fn for_loop_explicit_type() {
+    check(
+        indoc! {"
+            namespace Foo {
+                function A() : Unit {
+                    for i : Int in 0..9 {
+                        let _ = i;
+                    }
+                }
+            }
+        "},
+        &expect![[r#"
+            namespace namespace3 {
+                function item1() : Unit {
+                    for local14 : Int in 0..9 {
+                        let _ = local14;
+                    }
+                }
+            }
+        "#]],
+    );
+}
+
 #[test]
 fn repeat_until() {
     check(

compiler/qsc_frontend/src/typeck/tests.rs

@@ -242,6 +242,53 @@ fn return_semi() {
     );
 }
 
+#[test]
+fn explicit_type_in_let_binding() {
+    check(
+        "",
+        "{ let x : Int = 4; }",
+        &expect![[r##"
+            #1 0-20 "{ let x : Int = 4; }" : Unit
+            #2 0-20 "{ let x : Int = 4; }" : Unit
+            #4 6-13 "x : Int" : Int
+            #9 16-17 "4" : Int
+        "##]],
+    );
+}
+
+#[test]
+fn incorrect_explicit_type_in_let_binding_error() {
+    check(
+        "",
+        "{ let x : Int = 4.0; }",
+        &expect![[r##"
+            #1 0-22 "{ let x : Int = 4.0; }" : Unit
+            #2 0-22 "{ let x : Int = 4.0; }" : Unit
+            #4 6-13 "x : Int" : Int
+            #9 16-19 "4.0" : Double
+            Error(Type(Error(TyMismatch("Int", "Double", Span { lo: 16, hi: 19 }))))
+        "##]],
+    );
+}
+
+#[test]
+fn incorrect_explicit_type_in_let_binding_used_later_correctly() {
+    check(
+        "",
+        "{ let x : Int = 4.0; x + 1}",
+        &expect![[r##"
+            #1 0-27 "{ let x : Int = 4.0; x + 1}" : Int
+            #2 0-27 "{ let x : Int = 4.0; x + 1}" : Int
+            #4 6-13 "x : Int" : Int
+            #9 16-19 "4.0" : Double
+            #11 21-26 "x + 1" : Int
+            #12 21-22 "x" : Int
+            #15 25-26 "1" : Int
+            Error(Type(Error(TyMismatch("Int", "Double", Span { lo: 16, hi: 19 }))))
+        "##]],
+    );
+}
+
 #[test]
 fn return_var() {
     check(
@@ -929,6 +976,41 @@ fn for_loop_body_should_be_unit_error() {
     );
 }
 
+#[test]
+fn for_loop_correct_explicit_type_works() {
+    check(
+        "",
+        "for i : Int in 0..1 { i; }",
+        &expect![[r##"
+            #1 0-26 "for i : Int in 0..1 { i; }" : Unit
+            #2 4-11 "i : Int" : Int
+            #7 15-19 "0..1" : Range
+            #8 15-16 "0" : Int
+            #9 18-19 "1" : Int
+            #10 20-26 "{ i; }" : Unit
+            #12 22-23 "i" : Int
+        "##]],
+    );
+}
+
+#[test]
+fn for_loop_incorrect_explicit_type_error() {
+    check(
+        "",
+        "for i : Double in 0..1 { i; }",
+        &expect![[r##"
+            #1 0-29 "for i : Double in 0..1 { i; }" : Unit
+            #2 4-14 "i : Double" : Double
+            #7 18-22 "0..1" : Range
+            #8 18-19 "0" : Int
+            #9 21-22 "1" : Int
+            #10 23-29 "{ i; }" : Unit
+            #12 25-26 "i" : Double
+            Error(Type(Error(TyMismatch("Int", "Double", Span { lo: 18, hi: 22 }))))
+        "##]],
+    );
+}
+
 #[test]
 fn repeat_loop_non_bool_condition_error() {
     check(