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

Unified Diff: tests/compiler/dart2js/simple_inferrer_test.dart

Issue 12759006: Use inferred type in the SSA builder for super calls, and fix a bug with operator== in the type inf… (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 9 months 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
Index: tests/compiler/dart2js/simple_inferrer_test.dart
===================================================================
--- tests/compiler/dart2js/simple_inferrer_test.dart (revision 20142)
+++ tests/compiler/dart2js/simple_inferrer_test.dart (working copy)
@@ -70,6 +70,7 @@
class A {
factory A() = A.generative;
A.generative();
+ operator==(other) => 42;
get myField => 42;
set myField(a) {}
@@ -108,6 +109,7 @@
returnNum4();
returnIntOrNull(true);
returnDynamic();
+ new A() == new B();
new A()..returnNum1()
..returnNum2()
..returnNum3()
@@ -161,6 +163,7 @@
checkReturnInClass('A', 'returnNum4', typesInferrer.numType);
checkReturnInClass('A', 'returnNum5', typesInferrer.numType);
checkReturnInClass('A', 'returnNum6', typesInferrer.numType);
+ checkReturnInClass('A', '==', typesInferrer.giveUpType);
checkReturnInClass('B', 'returnNum1', typesInferrer.numType);
checkReturnInClass('B', 'returnNum2', typesInferrer.numType);

Powered by Google App Engine
This is Rietveld 408576698