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() { |