Index: tests/language/function_subtype1_test.dart |
diff --git a/tests/language/function_subtype1_test.dart b/tests/language/function_subtype1_test.dart |
index a7bd199e69915e34388edebab991e007c22b1ebc..1938ebefda10bb45f405b79d41638a71b22880fa 100644 |
--- a/tests/language/function_subtype1_test.dart |
+++ b/tests/language/function_subtype1_test.dart |
@@ -17,6 +17,7 @@ typedef int int_2(); |
typedef Object Object_(); |
typedef double double_(); |
typedef void void__int(int i); |
+typedef void void__Object(Object o); |
typedef int int__int(int i); |
typedef int int__int2(int i); |
typedef int int__Object(Object o); |
@@ -69,6 +70,8 @@ main() { |
Expect.isFalse(new C<int__int_int>() is C<int__int>); |
// (()->void) -> void <: ((int)->void) -> void |
Expect.isFalse(new C<inline_void_>() is C<inline_void__int>); |
+ // (Object) -> void <: ((int)->void) -> void |
+ Expect.isTrue(new C<void__Object>() is C<inline_void__int>); |
// ((int)->void) -> void <: (()->void) -> void |
Expect.isFalse(new C<inline_void__int>() is C<inline_void_>); |
} |