Index: tests/language/function_type3_test.dart |
diff --git a/tests/language/function_type3_test.dart b/tests/language/function_type3_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..809a43944989b4f5d623e7e8bd7a6ee6b406ae9a |
--- /dev/null |
+++ b/tests/language/function_type3_test.dart |
@@ -0,0 +1,28 @@ |
+// Copyright (c) 2015, 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 A<T> { |
+ @NoInlining() |
+ A(); |
+ |
+ @NoInlining() |
+ foo() => new B<T>(); |
+} |
+ |
+class B<T> { |
+ T bar() => null; |
+} |
+ |
+typedef F(); |
+typedef F2(x); |
+ |
+// Dart2js realized that the generic type for A was not needed, but then used |
+// it nevertheless when it constructed the closure. |
+main() { |
+ var f = new A<int>().foo().bar; |
+ Expect.isTrue(f is F); |
+ Expect.isFalse(f is F2); |
+} |