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; |