blob: d536db667d0a8c502a84e8eadb1fe20b5040da66 [file] [log] [blame]
// 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
import 'package:expect/expect.dart';
int initCalls = 0;
int init() {
++initCalls;
return 123;
}
class A {
static late int fieldWithInit = init();
static late int fieldWithTrivialInit = 123;
static late int? fieldWithNullInit = null;
static late int fieldWithNoInit;
}
class B {
static late int fieldWithInit = init();
}
class C {
static late int? fieldWithInit = init();
}
main() {
Expect.equals(0, initCalls);
Expect.equals(123, A.fieldWithInit);
Expect.equals(123, A.fieldWithTrivialInit);
Expect.equals(null, A.fieldWithNullInit);
Expect.throws<Error>(() => A.fieldWithNoInit);
Expect.equals(1, initCalls);
Expect.equals(123, A.fieldWithInit);
Expect.equals(123, A.fieldWithTrivialInit);
Expect.equals(null, A.fieldWithNullInit);
Expect.throws<Error>(() => A.fieldWithNoInit);
Expect.equals(1, initCalls);
A.fieldWithInit = 456;
A.fieldWithTrivialInit = 456;
A.fieldWithNullInit = 456;
A.fieldWithNoInit = 456;
Expect.equals(1, initCalls);
Expect.equals(456, A.fieldWithInit);
Expect.equals(456, A.fieldWithTrivialInit);
Expect.equals(456, A.fieldWithNullInit);
Expect.equals(456, A.fieldWithNoInit);
Expect.equals(1, initCalls);
initCalls = 0;
// Late, non-final, with init that's pre-empted by setter.
Expect.equals(0, initCalls);
B.fieldWithInit = 456;
Expect.equals(0, initCalls);
Expect.equals(456, B.fieldWithInit);
Expect.equals(0, initCalls);
// Late, non-final, with init that's pre-empted by null setter.
Expect.equals(0, initCalls);
C.fieldWithInit = null;
Expect.equals(0, initCalls);
Expect.equals(null, C.fieldWithInit);
Expect.equals(0, initCalls);
}