LanguageFeatures/nnbd/weak/null_check_operator_A02_t01.dart

// Copyright (c) 2020, 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 a runtime error if v is null. Test function type
/// @author sgrekhov@unipro.ru
/// @issue 39723
/// @issue 39724
/// @issue 39758

// Requirements=nnbd-weak
import "../../../Utils/expect.dart";

Object? foo(int i) => null;
Object? bar<T>(T t) => null;

main() {
  Function? f1 = null;
  Expect.throws(() {f1!(42);});
  Function? f2 = foo;
  if (f2 != null) {
    Expect.throws(() {
      f2(42)!;
    });
  }

  Function? f3 = null;
  Expect.throws(() {f3!<int>(42);});
  Function f4 = bar;
  if (f4 != null) {
    Expect.throws(() {f4<int>(42)!;});
  }
}