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

Unified Diff: pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart

Issue 2868133002: Fix annotation of promoted parameters in Fasta inference tests. (Closed)
Patch Set: Created 3 years, 7 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/inference/downwards_inference_on_instance_creations_infer_downwards.dart
diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart b/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart
index ad38670fa3deebdbee08f3efca233478415a50cb..7fb31ad5fbcf4b9fa1cf2f50dce36b93b9b824c2 100644
--- a/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart
+++ b/pkg/front_end/testcases/inference/downwards_inference_on_instance_creations_infer_downwards.dart
@@ -13,27 +13,31 @@ class A<S, T> {
}
class B<S, T> extends A<T, S> {
- B(S y, T x) : super(x, y);
- B.named(S y, T x) : super.named(x, y);
+ B(S y, T x) : super(/*@promotedType=none*/ x, /*@promotedType=none*/ y);
+ B.named(S y, T x)
+ : super.named(/*@promotedType=none*/ x, /*@promotedType=none*/ y);
}
class C<S> extends B<S, S> {
- C(S a) : super(a, a);
- C.named(S a) : super.named(a, a);
+ C(S a) : super(/*@promotedType=none*/ a, /*@promotedType=none*/ a);
+ C.named(S a)
+ : super.named(/*@promotedType=none*/ a, /*@promotedType=none*/ a);
}
class D<S, T> extends B<T, int> {
- D(T a) : super(a, 3);
- D.named(T a) : super.named(a, 3);
+ D(T a) : super(/*@promotedType=none*/ a, 3);
+ D.named(T a) : super.named(/*@promotedType=none*/ a, 3);
}
class E<S, T> extends A<C<S>, T> {
- E(T a) : super(null, a);
+ E(T a) : super(null, /*@promotedType=none*/ a);
}
class F<S, T> extends A<S, T> {
- F(S x, T y, {List<S> a, List<T> b}) : super(x, y);
- F.named(S x, T y, [S a, T b]) : super(a, b);
+ F(S x, T y, {List<S> a, List<T> b})
+ : super(/*@promotedType=none*/ x, /*@promotedType=none*/ y);
+ F.named(S x, T y, [S a, T b])
+ : super(/*@promotedType=none*/ a, /*@promotedType=none*/ b);
}
void main() {

Powered by Google App Engine
This is Rietveld 408576698