blob: f49cf528e3a7789aede9746674f41ecf0f420969 [file] [log] [blame]
// 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.
// @dart = 2.7
// dart2jsOptions=--strong
import 'package:expect/expect.dart';
class Class1 {
method1() {
num local<T>(num n) => null;
return local;
}
method2() {
num local<T>(int n) => null;
return local;
}
method3() {
int local<T>(num n) => null;
return local;
}
}
class Class2 {
method4<T>() {
num local(T n) => null;
return local;
}
}
class Class3 {
method5<T>() {
T local(num n) => null;
return local;
}
}
class Class4 {
method6<T>() {
num local(num n, T t) => null;
return local;
}
}
method7<T>() {
num local(T n) => null;
return local;
}
method8<T>() {
T local(num n) => null;
return local;
}
method9<T>() {
num local(num n, T t) => null;
return local;
}
method10() {
num local<T>(T n) => null;
return local;
}
method11() {
T local<T>(num n) => null;
return local;
}
method12() {
num local<T>(num n, T t) => null;
return local;
}
num Function(num) //# 01: ok
method13() {
num local<T>(num n) => null;
return local;
}
num Function(num) //# 01: continued
method14() {
num local<T>(T n) => null;
return local;
}
num Function(num) //# 01: continued
method15() {
T local<T>(num n) => null;
return local;
}
@pragma('dart2js:noInline')
test(o) => o is num Function(num);
main() {
Expect.isFalse(test(new Class1().method1()));
Expect.isFalse(test(new Class1().method2()));
Expect.isFalse(test(new Class1().method3()));
Expect.isTrue(test(new Class2().method4<num>()));
Expect.isTrue(test(new Class3().method5<num>()));
Expect.isFalse(test(new Class4().method6<num>()));
Expect.isTrue(test(method7<num>()));
Expect.isTrue(test(method8<num>()));
Expect.isFalse(test(method9()));
Expect.isFalse(test(method10()));
Expect.isFalse(test(method11()));
Expect.isFalse(test(method12()));
Expect.isTrue(test(method13())); //# 01: continued
Expect.isTrue(test(method14())); //# 01: continued
Expect.isTrue(test(method15())); //# 01: continued
}