#3057. Add pattern assignment cases to while-loop tests (#3127)

Author: sgrekhov

TypeSystem/flow-analysis/reachability_while_A02_t01.dart

@@ -12,7 +12,12 @@
 /// detects assignment in `S`.
 /// @author [email protected]
 
-main() {
+class C {
+  int v;
+  C(this.v);
+}
+
+test1() {
   try {
     late int i;
     while (1 > 2) {
@@ -21,3 +26,40 @@ main() {
     i; // Not definitely unassigned
   } catch (_) {}
 }
+
+test2() {
+  try {
+    late int i;
+    while (1 > 2) {
+      (i,) = (42,);
+    }
+    i; // Not definitely unassigned
+  } catch (_) {}
+}
+
+test3() {
+  try {
+    late int i;
+    while (1 > 2) {
+      (x: i) = (x: 42);
+    }
+    i; // Not definitely unassigned
+  } catch (_) {}
+}
+
+test4() {
+  try {
+    late int i;
+    while (1 > 2) {
+      C(v: i) = C(42);
+    }
+    i; // Not definitely unassigned
+  } catch (_) {}
+}
+
+main() {
+  test1();
+  test2();
+  test3();
+  test4();
+}

TypeSystem/flow-analysis/reachability_while_A02_t02.dart

@@ -12,7 +12,12 @@
 /// detects assignment in `S`.
 /// @author [email protected]
 
-main() {
+class C {
+  int v;
+  C(this.v);
+}
+
+test1() {
   try {
     late int i;
     while (1 > 2) {
@@ -23,3 +28,46 @@ main() {
     i; // Not definitely unassigned
   } catch (_) {}
 }
+
+test2() {
+  try {
+    late int i;
+    while (1 > 2) {
+      () {
+        (i,) = (42,);
+      };
+    }
+    i; // Not definitely unassigned
+  } catch (_) {}
+}
+
+test3() {
+  try {
+    late int i;
+    while (1 > 2) {
+      () {
+        (x: i) = (x: 42);
+      };
+    }
+    i; // Not definitely unassigned
+  } catch (_) {}
+}
+
+test4() {
+  try {
+    late int i;
+    while (1 > 2) {
+      () {
+        C(v: i) = C(42);
+      };
+    }
+    i; // Not definitely unassigned
+  } catch (_) {}
+}
+
+main() {
+  test1();
+  test2();
+  test3();
+  test4();
+}