| // Copyright (c) 2023, 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 issue 53078. | |
| void main() { | |
| const int y = 3; | |
| int x = y; | |
| for (int i = 0; i < 3; i++) { | |
| final v = x >= y; | |
| print('$x >= $y is ${v}'); | |
| if (i != 0 && v) throw 'Something is wrong'; | |
| if (v) { | |
| x = 0; | |
| } | |
| x++; | |
| } | |
| } |