blob: 3b8307a75a04bf8d41b493a335f0caff10fb991b [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;
double init() {
++initCalls;
return 1.23;
}
class A {
late double? fieldWithInit = init();
late double fieldWithTrivialInit = 1.23;
late double? fieldWithNullInit = null;
late double fieldWithNoInit;
}
main() {
// Late, non-final, with init.
var a = A();
Expect.equals(0, initCalls);
Expect.equals(1.23, a.fieldWithInit);
Expect.equals(1.23, a.fieldWithTrivialInit);
Expect.equals(null, a.fieldWithNullInit);
Expect.throws<Error>(() => a.fieldWithNoInit);
Expect.equals(1, initCalls);
Expect.equals(1.23, a.fieldWithInit);
Expect.equals(1.23, a.fieldWithTrivialInit);
Expect.equals(null, a.fieldWithNullInit);
Expect.throws<Error>(() => a.fieldWithNoInit);
Expect.equals(1, initCalls);
a.fieldWithInit = 4.56;
a.fieldWithTrivialInit = 4.56;
a.fieldWithNullInit = 4.56;
a.fieldWithNoInit = 4.56;
Expect.equals(1, initCalls);
Expect.equals(4.56, a.fieldWithInit);
Expect.equals(4.56, a.fieldWithTrivialInit);
Expect.equals(4.56, a.fieldWithNullInit);
Expect.equals(4.56, a.fieldWithNoInit);
Expect.equals(1, initCalls);
initCalls = 0;
// Late, non-final, with init that's pre-empted by setter.
var b = A();
Expect.equals(0, initCalls);
b.fieldWithInit = 4.56;
Expect.equals(0, initCalls);
Expect.equals(4.56, b.fieldWithInit);
Expect.equals(0, initCalls);
// Late, non-final, with init that's pre-empted by null setter.
var c = A();
Expect.equals(0, initCalls);
c.fieldWithInit = null;
Expect.equals(0, initCalls);
Expect.equals(null, c.fieldWithInit);
Expect.equals(0, initCalls);
}