| // Copyright (c) 2018, 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. | |
| import 'package:expect/expect.dart'; | |
| class Class1 { | |
| num method1(num n) => throw 'unreachable'; | |
| num method2(int n) => throw 'unreachable'; | |
| Object method3(num n) => throw 'unreachable'; | |
| } | |
| class Class2<T> { | |
| num method4(T n) => throw 'unreachable'; | |
| } | |
| class Class3<T> { | |
| T method5(num n) => throw 'unreachable'; | |
| } | |
| class Class4<T> { | |
| num method6(num n, T t) => throw 'unreachable'; | |
| } | |
| num method7(num n) => throw 'unreachable'; | |
| num method8(int n) => throw 'unreachable'; | |
| Object method9(num n) => throw 'unreachable'; | |
| @pragma('dart2js:noInline') | |
| test(o) => o is num Function(num); | |
| main() { | |
| Expect.isTrue(test(new Class1().method1)); | |
| Expect.isFalse(test(new Class1().method2)); | |
| Expect.isFalse(test(new Class1().method3)); | |
| Expect.isTrue(test(new Class2<num>().method4)); | |
| Expect.isTrue(test(new Class3<num>().method5)); | |
| Expect.isFalse(test(new Class4<num>().method6)); | |
| Expect.isTrue(test(method7)); | |
| Expect.isFalse(test(method8)); | |
| Expect.isFalse(test(method9)); | |
| } |