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

Unified Diff: tests/language_strong/covariant_override/tear_off_type_test.dart

Issue 2653493004: Change @checked to covariant in strong tests (Closed)
Patch Set: Created 3 years, 11 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
« no previous file with comments | « tests/language_strong/covariant_override/runtime_check_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_strong/covariant_override/tear_off_type_test.dart
diff --git a/tests/language_strong/covariant_override/tear_off_type_test.dart b/tests/language_strong/covariant_override/tear_off_type_test.dart
index 6ed1d09e65260b135e59af2838d8eb2f00a8aadd..587c5e28443f69f602539306cbabc64fa91ada10 100644
--- a/tests/language_strong/covariant_override/tear_off_type_test.dart
+++ b/tests/language_strong/covariant_override/tear_off_type_test.dart
@@ -3,7 +3,6 @@
// BSD-style license that can be found in the LICENSE file.
import "package:expect/expect.dart";
-import 'package:meta/meta.dart' show checked;
// If a parameter is directly or indirectly a covariant override, its type in
// the method tear-off should become Object.
@@ -19,19 +18,19 @@ typedef void TakeNamedInts({int a, int b, int c, int d});
typedef void TakeNamedObjectsAndInts({Object a, int b, Object c, int d});
class M1 {
- method(@checked int a, int b) {}
+ method(covariant int a, int b) {}
}
class M2 {
- method(int a, @checked int b) {}
+ method(int a, covariant int b) {}
}
class C extends Object with M1, M2 {}
class Direct {
- void positional(@checked int a, int b, @checked int c, int d, int e) {}
- void optional([@checked int a, int b, @checked int c, int d]) {}
- void named({@checked int a, int b, @checked int c, int d}) {}
+ void positional(covariant int a, int b, covariant int c, int d, int e) {}
+ void optional([covariant int a, int b, covariant int c, int d]) {}
+ void named({covariant int a, int b, covariant int c, int d}) {}
}
class Inherited extends Direct {}
@@ -39,11 +38,11 @@ class Inherited extends Direct {}
// ---
class Override1 {
- void method(@checked int a, int b, int c, int d, int e) {}
+ void method(covariant int a, int b, int c, int d, int e) {}
}
class Override2 extends Override1 {
- void method(int a, int b, @checked int c, int d, int e) {}
+ void method(int a, int b, covariant int c, int d, int e) {}
}
class Override3 extends Override2 {
@@ -53,45 +52,45 @@ class Override3 extends Override2 {
// ---
abstract class Implement1 {
- void method(@checked int a, int b, int c, int d, int e) {}
+ void method(covariant int a, int b, int c, int d, int e) {}
}
class Implement2 {
- void method(int a, @checked int b, int c, int d, int e) {}
+ void method(int a, covariant int b, int c, int d, int e) {}
}
class Implement3 {
- void method(int a, int b, @checked int c, int d, int e) {}
+ void method(int a, int b, covariant int c, int d, int e) {}
}
class Implement4 implements Implement3 {
- void method(int a, int b, int c, @checked int d, int e) {}
+ void method(int a, int b, int c, covariant int d, int e) {}
}
class Implement5 implements Implement1, Implement2, Implement4 {
- void method(int a, int b, int c, int d, @checked int e) {}
+ void method(int a, int b, int c, int d, covariant int e) {}
}
// ---
class Interface1 {
- void method(@checked int a, int b, int c, int d, int e) {}
+ void method(covariant int a, int b, int c, int d, int e) {}
}
class Interface2 {
- void method(int a, @checked int b, int c, int d, int e) {}
+ void method(int a, covariant int b, int c, int d, int e) {}
}
class Mixin1 {
- void method(int a, int b, @checked int c, int d, int e) {}
+ void method(int a, int b, covariant int c, int d, int e) {}
}
class Mixin2 {
- void method(int a, int b, int c, @checked int d, int e) {}
+ void method(int a, int b, int c, covariant int d, int e) {}
}
class Superclass {
- void method(int a, int b, int c, int d, @checked int e) {}
+ void method(int a, int b, int c, int d, covariant int e) {}
}
class Mixed extends Superclass
« no previous file with comments | « tests/language_strong/covariant_override/runtime_check_test.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698