Add test for #60409

Bug: #60409
Change-Id: I896d225f078e7a2f816d02c61c5050eb6affa470
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/418502
Reviewed-by: Alexander Markov <[email protected]>
Reviewed-by: Lasse Nielsen <[email protected]>
Commit-Queue: Stephen Adams <[email protected]>

Author: rakudrama

tests/language/regress/regress60409_test.dart

@@ -0,0 +1,151 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// Regression test for http://dartbug.com/60409.
+//
+// It appears that dart2js fails to correctly model scopes of for-loops in
+// control-flow collections in plain field initializer expressions.
+//
+// The `field` and `fieldFinal` cases failed at the time of reporting #60409,
+// the other variations passed.
+
+import 'package:expect/expect.dart';
+
+final List logField = [];
+final List logFinalField = [];
+final List logLateField = [];
+final List logLateFinalField = [];
+final List logConstructorInitializedField = [];
+final List logStaticField = [];
+final List logStaticFinalField = [];
+
+class A {
+  List<int> field = [
+    for (int i = 0; i < 9; ++i)
+      () {
+        logField.add(i);
+        i += 2;
+        return i;
+      }(),
+  ];
+
+  final List<int> finalField = [
+    for (int i = 0; i < 9; ++i)
+      () {
+        logFinalField.add(i);
+        i += 2;
+        return i;
+      }(),
+  ];
+
+  final List<int> constructorInitializedField;
+
+  late List<int> lateField = [
+    for (int i = 0; i < 9; ++i)
+      () {
+        logLateField.add(i);
+        i += 2;
+        return i;
+      }(),
+  ];
+
+  late final List<int> lateFinalField = [
+    for (int i = 0; i < 9; ++i)
+      () {
+        logLateFinalField.add(i);
+        i += 2;
+        return i;
+      }(),
+  ];
+
+  static List<int> staticField = [
+    for (int i = 0; i < 9; ++i)
+      () {
+        logStaticField.add(i);
+        i += 2;
+        return i;
+      }(),
+  ];
+
+  static final List<int> staticFinalField = [
+    for (int i = 0; i < 9; ++i)
+      () {
+        logStaticFinalField.add(i);
+        i += 2;
+        return i;
+      }(),
+  ];
+
+  int version = ++_version;
+  static int _version = 0;
+
+  A()
+    : constructorInitializedField = [
+        for (int i = 0; i < 9; ++i)
+          () {
+            logConstructorInitializedField.add(i);
+            i += 2;
+            return i;
+          }(),
+      ] {
+    print('A($version)');
+    logField.add('c');
+    logFinalField.add('c');
+    logLateField.add('c');
+    logLateFinalField.add('c');
+    logConstructorInitializedField.add('c');
+    logStaticField.add('c');
+    logStaticFinalField.add('c');
+  }
+
+  /// Use all the fields to ensure lazy initialization has happened.
+  void use() {
+    field;
+    finalField;
+    constructorInitializedField;
+    lateField;
+    lateFinalField;
+    staticField;
+    staticFinalField;
+  }
+
+  void check() {
+    void expect(String expected, List log) {
+      Expect.equals(expected, log.join(','));
+    }
+
+    expect('2,5,8', field);
+    expect('2,5,8', finalField);
+    expect('2,5,8', constructorInitializedField);
+    expect('2,5,8', lateField);
+    expect('2,5,8', lateFinalField);
+    expect('2,5,8', staticField);
+    expect('2,5,8', staticFinalField);
+
+    expect('0,3,6,c,x,0,3,6,c', logField);
+    expect('0,3,6,c,x,0,3,6,c', logFinalField);
+    expect('0,3,6,c,x,0,3,6,c', logConstructorInitializedField);
+    expect('c,0,3,6,x,c,0,3,6', logLateField);
+    expect('c,0,3,6,x,c,0,3,6', logLateFinalField);
+    expect('c,0,3,6,x,c', logStaticField);
+    expect('c,0,3,6,x,c', logStaticFinalField);
+  }
+}
+
+void main() {
+  final a1 = A();
+  a1.use();
+
+  logField.add('x');
+  logFinalField.add('x');
+  logLateField.add('x');
+  logLateFinalField.add('x');
+  logConstructorInitializedField.add('x');
+  logStaticField.add('x');
+  logStaticFinalField.add('x');
+
+  final a2 = A();
+  a2.use();
+  a2.check();
+}