// 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 no runtime error if v is not null. Test function type
/// @author sgrekhov@unipro.ru
/// @issue 39723
/// @issue 39758

// Requirements=nnbd-weak

Object? foo(int i) => "Lily was here";
Object? bar<T>(T t) => 42;

main() {
  var f1 = foo as Function?;
  f1!(42);
  if (f1 != null) {
      f1(42)!;
  }

  var f2 = bar as Function?;
  f2!<int>(42);
  if (f2 != null) {
    f2<int>(42)!;
  }
}