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

Unified Diff: pkg/front_end/testcases/runtime_checks/covariant_generic_parameter_in_interface_mixin.dart

Issue 3010613003: Simplify annotations in runtime check tests. (Closed)
Patch Set: Address code review comment Created 3 years, 4 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: pkg/front_end/testcases/runtime_checks/covariant_generic_parameter_in_interface_mixin.dart
diff --git a/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter_in_interface_mixin.dart b/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter_in_interface_mixin.dart
index 235b8803d17977e5825350a0f9f941680b9f1400..8aa52cb26bedbedb15c5de6e02b7bd1567849e61 100644
--- a/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter_in_interface_mixin.dart
+++ b/pkg/front_end/testcases/runtime_checks/covariant_generic_parameter_in_interface_mixin.dart
@@ -10,7 +10,7 @@ class B {
}
abstract class I<T> {
- void f(T x);
+ void f(T /*@checkInterface=semiTyped*/ x);
}
class M {
@@ -18,12 +18,12 @@ class M {
}
class /*@forwardingStub=void f(semiSafe int x)*/ C = B with M implements I<int>;
-void g1(/*safe*/ C c) {
+void g1(C c) {
c.f(1);
}
-void g2(/*safe*/ I<num> i) {
- i.f /*@checkCall=interface(semiTyped:0)*/ (1.5);
+void g2(I<num> i) {
+ i.f(1.5);
}
void test() {

Powered by Google App Engine
This is Rietveld 408576698