blob: 7325b39fc276a1b6a1401ebc3199bbdf6b1b1333 [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.
*/
/**
* @assertion It is an error if a top level variable, static variable, or
* instance field with potentially non-nullable type has no initializer
* expression and is not initialized in a constructor via an initializing formal
* or an initializer list entry, unless the variable or field is marked with the
* 'late' modifier.
*
* @description Check that it is an error if a top level variable, static
* variable, or instance field with potentially non-nullable type has no
* initializer expression and is not initialized in a constructor via an
* initializing formal or an initializer list entry. Test FutureOr<A> where A is
* some class
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=non-nullable
// Requirements=nnbd-strong
import "dart:async";
class A {}
FutureOr<A> f1;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
FutureOr<String> f2;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
class C {
static FutureOr<A> f3;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
static FutureOr<String> f4;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
FutureOr<A> f5;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
FutureOr<String> f6;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
}
main() {
}