Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(286)

Unified Diff: tests/language/function_subtype1_test.dart

Issue 2599073002: dart2js rti fix: functions are subtypes of Object (Closed)
Patch Set: Created 4 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « tests/language/function_subtype0_test.dart ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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_>);
}
« no previous file with comments | « tests/language/function_subtype0_test.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698