| // Copyright (c) 2019, 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. |
| |
| // SharedOptions=--enable-experiment=non-nullable |
| // VMOptions=--optimization_counter_threshold=10 |
| import 'package:expect/expect.dart'; |
| |
| int initCalls = 0; |
| int init() { |
| ++initCalls; |
| return 123; |
| } |
| |
| main() { |
| for (int i = 0; i < 20; ++i) { |
| late final int fieldWithInit = init(); |
| Expect.equals(0, initCalls); |
| Expect.equals(123, fieldWithInit); |
| Expect.equals(1, initCalls); |
| Expect.equals(123, fieldWithInit); |
| Expect.equals(1, initCalls); |
| |
| late final int fieldWithNoInit; |
| Expect.throws<Error>(() => fieldWithNoInit); |
| // Confuse the definite assignment analysis. |
| if (1 > 0) { |
| fieldWithNoInit = 123; |
| } |
| Expect.equals(123, fieldWithNoInit); |
| Expect.throws<Error>(() => fieldWithNoInit = 456); |
| Expect.equals(123, fieldWithNoInit); |
| initCalls = 0; |
| } |
| } |