| // Copyright (c) 2016, 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"; | |
| typedef int H(Function | |
| Function /// 00: compile-time error | |
| x); | |
| main() { | |
| bool b = true; | |
| Expect.isFalse(b is H); | |
| } |