// Copyright (c) 2017, 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.
// Dart test for a function type test that cannot be eliminated at compile time.

import "package:expect/expect.dart";

class A {}

typedef int F();

typedef G = F; //# 00: compile-time error
typedef H = int; //# 01: compile-time error
typedef I = A; //# 02: compile-time error
typedef J = List<int>; //# 03: compile-time error
typedef K = Function(
    Function<A>(A
    <int> // //# 04: static type warning
        ));
typedef L = Function(
    {
  /* //  //# 05: compile-time error
    bool
  */ //  //# 05: compile-time error
        x});

typedef M = Function(
    {
  /* //  //# 06: compile-time error
    bool
  */ //  //# 06: compile-time error
        int});

foo({bool int}) {}
main() {
  bool b = true;
  Expect.isFalse(b is G); // //# 00: continued
  Expect.isFalse(b is H); // //# 01: continued
  Expect.isFalse(b is I); // //# 02: continued
  Expect.isFalse(b is J); // //# 03: continued
  Expect.isFalse(b is K); // //# 04: continued
  Expect.isFalse(b is L);
  Expect.isFalse(b is M);
  Expect.isTrue(foo is M);
}