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