| Index: tests/language/function_subtype0_test.dart
|
| diff --git a/tests/language/function_subtype0_test.dart b/tests/language/function_subtype0_test.dart
|
| index 1a39d92cb93e2a6c01d2e23cbf80fe9e1b3026cf..4cc4809dedfe82004626d6fa63b3cb76b7471d8c 100644
|
| --- a/tests/language/function_subtype0_test.dart
|
| +++ b/tests/language/function_subtype0_test.dart
|
| @@ -36,6 +36,7 @@ int int__int(int i) => 0;
|
| int int__int2(int i) => 0;
|
| int int__Object(Object o) => 0;
|
| Object Object__int(int i) => null;
|
| +void void__Object(Object o) => null;
|
| int int__double(double d) => 0;
|
| int int__int_int(int i1, int i2) => 0;
|
| void inline_void_(void f()) {}
|
| @@ -82,6 +83,8 @@ main() {
|
| Expect.isFalse(int__int_int is t_int__int);
|
| // (()->void) -> void <: ((int)->void) -> void
|
| Expect.isFalse(inline_void_ is t_inline_void__int);
|
| + // (Object) -> void <: ((int)->void) -> void
|
| + Expect.isTrue(void__Object is t_inline_void__int);
|
| // ((int)->void) -> void <: (()->void) -> void
|
| Expect.isFalse(inline_void__int is t_inline_void_);
|
| }
|
|
|