blob: 9bd8002813aa2a0de052defa597fbd9ebe0e44ef [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 a warning to use the null check operator (!) on an
* expression of type T if T is strictly non-nullable
*
* @description It is a warning to use the null check operator (!) on an
* expression of type T if T is strictly non-nullable. Test if (t != null) {…}
* @author sgrekhov@unipro.ru
* @issue 39598
* @issue 39867
*/
// SharedOptions=--enable-experiment=non-nullable
// Requirements=nnbd-strong
class A {}
main() {
A? a = new A();
if (a != null) {
a!; //# 01: static type warning
}
}