| Index: tests/language_strong/type_promotion_more_specific_test.dart
|
| diff --git a/tests/language_strong/type_promotion_more_specific_test.dart b/tests/language_strong/type_promotion_more_specific_test.dart
|
| index eb843b6f3a51ea2bdce77552a1b43d7f46dab81b..2d47f6b3eed88f84c4f6cd3c49e23007aa364a46 100644
|
| --- a/tests/language_strong/type_promotion_more_specific_test.dart
|
| +++ b/tests/language_strong/type_promotion_more_specific_test.dart
|
| @@ -39,17 +39,17 @@ void testInterface() {
|
|
|
| A a = new B();
|
| if (a is B) { // Promotion B << A.
|
| - x = a.b; /// 01: ok
|
| + x = a.b; //# 01: ok
|
| }
|
| if (a is C) { // No promotion C !<< A.
|
| - x = a.c; /// 02: static type warning
|
| + x = a.c; //# 02: static type warning
|
| }
|
| B b = new B();
|
| if (b is A) { // No promotion B !<< A.
|
| - x = b.b; /// 03: ok
|
| + x = b.b; //# 03: ok
|
| }
|
| if (x is A) { // No promotion A !<< dynamic.
|
| - y = x.b; /// 04: ok
|
| + y = x.b; //# 04: ok
|
| }
|
| }
|
|
|
| @@ -59,24 +59,24 @@ testGeneric() {
|
|
|
| D d1 = new E<B>(null);
|
| if (d1 is E) { // Promotion: E << D.
|
| - x = d1.e; /// 05: ok
|
| + x = d1.e; //# 05: ok
|
| }
|
| if (d1 is E<A>) { // Promotion: E<A> << D.
|
| - int a = d1.d; /// 06: static type warning
|
| - String b = d1.d; /// 07: static type warning
|
| - x = d1.e; /// 08: ok
|
| + int a = d1.d; //# 06: static type warning
|
| + String b = d1.d; //# 07: static type warning
|
| + x = d1.e; //# 08: ok
|
| }
|
|
|
| D<A> d2 = new E<B>(null);
|
| if (d2 is E) { // No promotion: E !<< D<A>
|
| - x = d2.e; /// 09: static type warning
|
| - int a = d2.e; /// 10: static type warning
|
| - String b = d2.e; /// 11: static type warning
|
| + x = d2.e; //# 09: static type warning
|
| + int a = d2.e; //# 10: static type warning
|
| + String b = d2.e; //# 11: static type warning
|
| }
|
|
|
| D<A> d3 = new E<B>(new B());
|
| if (d3 is E<B>) { // Promotion: E<B> << D<A>
|
| - x = d3.d.b; /// 12: ok
|
| - x = d3.e.b; /// 13: ok
|
| + x = d3.d.b; //# 12: ok
|
| + x = d3.e.b; //# 13: ok
|
| }
|
| }
|
|
|