blob: 081e771459241d7a51ad78a15e1b9fde67f8a865 [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 An expression of the form e! evaluates e to a value v, throws a
* runtime error if v is null, and otherwise evaluates to v.
*
* @description Check that an expression of the form e! evaluates e to a value
* v, throws no runtime error if v is not null. Test (true)
* @author sgrekhov@unipro.ru
* @issue 39723
*/
// SharedOptions=--enable-experiment=non-nullable
// Requirements=nnbd-strong
main() {
true!; //# 01: static type warning
true!.toString(); //# 02: static type warning
true!?.toString(); //# 03: static type warning
true.toString()!; //# 04: static type warning
}