| Index: tests/language_strong/type_promotion_parameter_test.dart
|
| diff --git a/tests/language_strong/type_promotion_parameter_test.dart b/tests/language_strong/type_promotion_parameter_test.dart
|
| index 8672dc875f5f0a22160cf5428a43532194cda275..d8e04991a27a05379705656c30e59ffa2ea23a71 100644
|
| --- a/tests/language_strong/type_promotion_parameter_test.dart
|
| +++ b/tests/language_strong/type_promotion_parameter_test.dart
|
| @@ -7,15 +7,19 @@
|
| class A {
|
| var a = "a";
|
| }
|
| +
|
| class B extends A {
|
| var b = "b";
|
| }
|
| +
|
| class C extends B {
|
| var c = "c";
|
| }
|
| +
|
| class D extends A {
|
| var d = "d";
|
| }
|
| +
|
| class E implements C, D {
|
| var a = "";
|
| var b = "";
|
| @@ -26,6 +30,7 @@ class E implements C, D {
|
| void main() {
|
| test(new E());
|
| }
|
| +
|
| void test(A a) {
|
| print(a.a);
|
| print(a.b); //# 01: static type warning
|
| @@ -92,37 +97,34 @@ void test(A a) {
|
| print(a.c); //# 19: static type warning
|
| print(a.d); //# 20: static type warning
|
|
|
| - var o1 = a is B ?
|
| - '${a.a}'
|
| - '${a.b}'
|
| + var o1 = a is B
|
| + ? '${a.a}'
|
| + '${a.b}'
|
| '${a.c}' //# 21: static type warning
|
| '${a.d}' //# 22: static type warning
|
| - :
|
| - '${a.a}'
|
| + : '${a.a}'
|
| '${a.b}' //# 23: static type warning
|
| '${a.c}' //# 24: static type warning
|
| '${a.d}' //# 25: static type warning
|
| ;
|
|
|
| - var o2 = a is C ?
|
| - '${a.a}'
|
| - '${a.b}'
|
| - '${a.c}'
|
| + var o2 = a is C
|
| + ? '${a.a}'
|
| + '${a.b}'
|
| + '${a.c}'
|
| '${a.d}' //# 26: static type warning
|
| - :
|
| - '${a.a}'
|
| + : '${a.a}'
|
| '${a.b}' //# 27: static type warning
|
| '${a.c}' //# 28: static type warning
|
| '${a.d}' //# 29: static type warning
|
| ;
|
|
|
| - var o3 = a is D ?
|
| - '${a.a}'
|
| + var o3 = a is D
|
| + ? '${a.a}'
|
| '${a.b}' //# 30: static type warning
|
| '${a.c}' //# 31: static type warning
|
| - '${a.d}'
|
| - :
|
| - '${a.a}'
|
| + '${a.d}'
|
| + : '${a.a}'
|
| '${a.b}' //# 32: static type warning
|
| '${a.c}' //# 33: static type warning
|
| '${a.d}' //# 34: static type warning
|
| @@ -158,11 +160,12 @@ void test(A a) {
|
| print(a.c); //# 41: static type warning
|
| print(a.d);
|
| }
|
| - if (a is D
|
| - && a.a == ""
|
| + if (a is D &&
|
| + a.a == ""
|
| && a.b == "" // //# 42: static type warning
|
| && a.c == "" // //# 43: static type warning
|
| - && a.d == "") {
|
| + &&
|
| + a.d == "") {
|
| print(a.a);
|
| print(a.b); //# 44: static type warning
|
| print(a.c); //# 45: static type warning
|
| @@ -172,15 +175,17 @@ void test(A a) {
|
| && a.b == "" //# 46: static type warning
|
| && a.c == "" //# 47: static type warning
|
| && a.d == "" //# 48: static type warning
|
| - && a is B
|
| - && a.a == ""
|
| - && a.b == ""
|
| + &&
|
| + a is B &&
|
| + a.a == "" &&
|
| + a.b == ""
|
| && a.c == "" //# 49: static type warning
|
| && a.d == "" //# 50: static type warning
|
| - && a is C
|
| - && a.a == ""
|
| - && a.b == ""
|
| - && a.c == ""
|
| + &&
|
| + a is C &&
|
| + a.a == "" &&
|
| + a.b == "" &&
|
| + a.c == ""
|
| && a.d == "" //# 51: static type warning
|
| ) {
|
| print(a.a);
|
|
|