| Index: tests/language/type_promotion_closure_test.dart
|
| diff --git a/tests/language/type_promotion_closure_test.dart b/tests/language/type_promotion_closure_test.dart
|
| index 56d1d5b5daa09d26c6439aa0f4315ea4a8259843..fd0c235026413f0796f95b8d44f4150f7d6148b1 100644
|
| --- a/tests/language/type_promotion_closure_test.dart
|
| +++ b/tests/language/type_promotion_closure_test.dart
|
| @@ -8,15 +8,19 @@ class A {
|
| var a = "a";
|
| A operator +(int i) => this;
|
| }
|
| +
|
| class B extends A {
|
| var b = "b";
|
| }
|
| +
|
| class C extends B {
|
| var c = "c";
|
| }
|
| +
|
| class D extends A {
|
| var d = "d";
|
| }
|
| +
|
| class E extends D implements C {
|
| var a = "";
|
| var b = "";
|
| @@ -59,6 +63,7 @@ void test2() {
|
| void foo() {
|
| a = new D();
|
| }
|
| +
|
| if (a is B) {
|
| print(a.a);
|
| print(a.b); //# 02: static type warning
|
| @@ -70,12 +75,14 @@ void test3() {
|
| void foo() {
|
| a = new D();
|
| }
|
| +
|
| if (a is B) {
|
| print(a.a);
|
| print(a.b); //# 03: static type warning
|
| void foo() {
|
| a = new D();
|
| }
|
| +
|
| print(a.a);
|
| print(a.b); //# 04: static type warning
|
| }
|
| @@ -86,12 +93,14 @@ void test3a() {
|
| void foo() {
|
| a = new D();
|
| }
|
| +
|
| if ((((a)) is B)) {
|
| print(a.a);
|
| print(a.b); //# 15: static type warning
|
| void foo() {
|
| a = new D();
|
| }
|
| +
|
| print(a.a);
|
| print(a.b); //# 16: static type warning
|
| }
|
| @@ -148,7 +157,7 @@ void test8() {
|
| A a = new E();
|
| if (a is B
|
| && func(() => a.b) //# 09: static type warning
|
| - ) {
|
| + ) {
|
| print(a.a);
|
| }
|
| a = null;
|
|
|