blob: 0a9d64e5f13f3d0b831108ec731599264811690e [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 42
* @author sgrekhov@unipro.ru
* @issue 39723
*/
// SharedOptions=--enable-experiment=non-nullable
// Requirements=nnbd-strong
main() {
42!; //# 01: static type warning
42!.abs(); //# 02: static type warning
42!?.abs(); //# 03: static type warning
42.abs()!; //# 04: static type warning
}