Index: tests/language_strong/if_null_assignment_static_test.dart |
diff --git a/tests/language_strong/if_null_assignment_static_test.dart b/tests/language_strong/if_null_assignment_static_test.dart |
index 745b283d4d641c5eb0e96656f1467738adec132a..5f995cdd7e58da1e28be7e7fb203a9ec8d798fe8 100644 |
--- a/tests/language_strong/if_null_assignment_static_test.dart |
+++ b/tests/language_strong/if_null_assignment_static_test.dart |
@@ -73,17 +73,17 @@ class DerivedClass extends ClassWithInstanceGetters { |
void derivedTest() { |
// The static type of super.v ??= e is the LUB of the static types of |
// super.v and e. |
- (super.a ??= new A()).a; /// 01: ok |
- Expect.throws(() => (super.a ??= new A()).b, noMethod); /// 02: static type warning |
- (super.a ??= new B()).a; /// 03: ok |
- (super.a ??= new B()).b; /// 04: static type warning |
+ (super.a ??= new A()).a; //# 01: ok |
+ Expect.throws(() => (super.a ??= new A()).b, noMethod); //# 02: static type warning |
+ (super.a ??= new B()).a; //# 03: ok |
+ (super.a ??= new B()).b; //# 04: static type warning |
if (!checkedMode) { |
- (super.b ??= new A()).a; /// 05: ok |
- Expect.throws(() => (super.b ??= new A()).b, noMethod); /// 06: static type warning |
+ (super.b ??= new A()).a; //# 05: ok |
+ Expect.throws(() => (super.b ??= new A()).b, noMethod); //# 06: static type warning |
// Exactly the same static warnings that would be caused by super.v = e |
// are also generated in the case of super.v ??= e. |
- super.b ??= new C(); /// 07: static type warning |
+ super.b ??= new C(); //# 07: static type warning |
} |
} |
} |
@@ -96,76 +96,76 @@ main() { |
new DerivedClass().derivedTest(); |
// The static type of v ??= e is the LUB of the static types of v and e. |
- (a ??= new A()).a; /// 08: ok |
- Expect.throws(() => (a ??= new A()).b, noMethod); /// 09: static type warning |
- (a ??= new B()).a; /// 10: ok |
- (a ??= new B()).b; /// 11: static type warning |
+ (a ??= new A()).a; //# 08: ok |
+ Expect.throws(() => (a ??= new A()).b, noMethod); //# 09: static type warning |
+ (a ??= new B()).a; //# 10: ok |
+ (a ??= new B()).b; //# 11: static type warning |
if (!checkedMode) { |
- (b ??= new A()).a; /// 12: ok |
- Expect.throws(() => (b ??= new A()).b, noMethod); /// 13: static type warning |
+ (b ??= new A()).a; //# 12: ok |
+ Expect.throws(() => (b ??= new A()).b, noMethod); //# 13: static type warning |
// Exactly the same static warnings that would be caused by v = e are also |
// generated in the case of v ??= e. |
- b ??= new C(); /// 14: static type warning |
+ b ??= new C(); //# 14: static type warning |
} |
// The static type of C.v ??= e is the LUB of the static types of C.v and e. |
- (ClassWithStaticGetters.a ??= new A()).a; /// 15: ok |
- Expect.throws(() => (ClassWithStaticGetters.a ??= new A()).b, noMethod); /// 16: static type warning |
- (ClassWithStaticGetters.a ??= new B()).a; /// 17: ok |
- (ClassWithStaticGetters.a ??= new B()).b; /// 18: static type warning |
+ (ClassWithStaticGetters.a ??= new A()).a; //# 15: ok |
+ Expect.throws(() => (ClassWithStaticGetters.a ??= new A()).b, noMethod); //# 16: static type warning |
+ (ClassWithStaticGetters.a ??= new B()).a; //# 17: ok |
+ (ClassWithStaticGetters.a ??= new B()).b; //# 18: static type warning |
if (!checkedMode) { |
- (ClassWithStaticGetters.b ??= new A()).a; /// 19: ok |
- Expect.throws(() => (ClassWithStaticGetters.b ??= new A()).b, noMethod); /// 20: static type warning |
+ (ClassWithStaticGetters.b ??= new A()).a; //# 19: ok |
+ Expect.throws(() => (ClassWithStaticGetters.b ??= new A()).b, noMethod); //# 20: static type warning |
// Exactly the same static warnings that would be caused by C.v = e are |
// also generated in the case of C.v ??= e. |
- ClassWithStaticGetters.b ??= new C(); /// 21: static type warning |
+ ClassWithStaticGetters.b ??= new C(); //# 21: static type warning |
} |
// The static type of e1.v ??= e2 is the LUB of the static types of e1.v and |
// e2. |
- (new ClassWithInstanceGetters().a ??= new A()).a; /// 22: ok |
- Expect.throws(() => (new ClassWithInstanceGetters().a ??= new A()).b, noMethod); /// 23: static type warning |
- (new ClassWithInstanceGetters().a ??= new B()).a; /// 24: ok |
- (new ClassWithInstanceGetters().a ??= new B()).b; /// 25: static type warning |
+ (new ClassWithInstanceGetters().a ??= new A()).a; //# 22: ok |
+ Expect.throws(() => (new ClassWithInstanceGetters().a ??= new A()).b, noMethod); //# 23: static type warning |
+ (new ClassWithInstanceGetters().a ??= new B()).a; //# 24: ok |
+ (new ClassWithInstanceGetters().a ??= new B()).b; //# 25: static type warning |
if (!checkedMode) { |
- (new ClassWithInstanceGetters().b ??= new A()).a; /// 26: ok |
- Expect.throws(() => (new ClassWithInstanceGetters().b ??= new A()).b, noMethod); /// 27: static type warning |
+ (new ClassWithInstanceGetters().b ??= new A()).a; //# 26: ok |
+ Expect.throws(() => (new ClassWithInstanceGetters().b ??= new A()).b, noMethod); //# 27: static type warning |
// Exactly the same static warnings that would be caused by e1.v = e2 are |
// also generated in the case of e1.v ??= e2. |
- new ClassWithInstanceGetters().b ??= new C(); /// 28: static type warning |
+ new ClassWithInstanceGetters().b ??= new C(); //# 28: static type warning |
} |
// The static type of e1[e2] ??= e3 is the LUB of the static types of e1[e2] |
// and e3. |
- ((<A>[null])[0] ??= new A()).a; /// 29: ok |
- Expect.throws(() => ((<A>[null])[0] ??= new A()).b, noMethod); /// 30: static type warning |
- ((<A>[null])[0] ??= new B()).a; /// 31: ok |
- ((<A>[null])[0] ??= new B()).b; /// 32: static type warning |
+ ((<A>[null])[0] ??= new A()).a; //# 29: ok |
+ Expect.throws(() => ((<A>[null])[0] ??= new A()).b, noMethod); //# 30: static type warning |
+ ((<A>[null])[0] ??= new B()).a; //# 31: ok |
+ ((<A>[null])[0] ??= new B()).b; //# 32: static type warning |
if (!checkedMode) { |
- ((<B>[null])[0] ??= new A()).a; /// 33: ok |
- Expect.throws(() => ((<B>[null])[0] ??= new A()).b, noMethod); /// 34: static type warning |
+ ((<B>[null])[0] ??= new A()).a; //# 33: ok |
+ Expect.throws(() => ((<B>[null])[0] ??= new A()).b, noMethod); //# 34: static type warning |
// Exactly the same static warnings that would be caused by e1[e2] = e3 are |
// also generated in the case of e1[e2] ??= e3. |
- (<B>[null])[0] ??= new C(); /// 35: static type warning |
+ (<B>[null])[0] ??= new C(); //# 35: static type warning |
} |
// The static type of e1?.v op= e2 is the static type of e1.v op e2, |
// therefore the static type of e1?.v ??= e2 is the static type of |
// e1.v ?? e2, which is the LUB of the static types of e1?.v and e2. |
- (new ClassWithInstanceGetters()?.a ??= new A()).a; /// 36: ok |
- Expect.throws(() => (new ClassWithInstanceGetters()?.a ??= new A()).b, noMethod); /// 37: static type warning |
- (new ClassWithInstanceGetters()?.a ??= new B()).a; /// 38: ok |
- (new ClassWithInstanceGetters()?.a ??= new B()).b; /// 39: static type warning |
+ (new ClassWithInstanceGetters()?.a ??= new A()).a; //# 36: ok |
+ Expect.throws(() => (new ClassWithInstanceGetters()?.a ??= new A()).b, noMethod); //# 37: static type warning |
+ (new ClassWithInstanceGetters()?.a ??= new B()).a; //# 38: ok |
+ (new ClassWithInstanceGetters()?.a ??= new B()).b; //# 39: static type warning |
if (!checkedMode) { |
- (new ClassWithInstanceGetters()?.b ??= new A()).a; /// 40: ok |
- Expect.throws(() => (new ClassWithInstanceGetters()?.b ??= new A()).b, noMethod); /// 41: static type warning |
+ (new ClassWithInstanceGetters()?.b ??= new A()).a; //# 40: ok |
+ Expect.throws(() => (new ClassWithInstanceGetters()?.b ??= new A()).b, noMethod); //# 41: static type warning |
// Exactly the same static warnings that would be caused by e1.v ??= e2 are |
// also generated in the case of e1?.v ??= e2. |
- new ClassWithInstanceGetters()?.b ??= new C(); /// 42: static type warning |
+ new ClassWithInstanceGetters()?.b ??= new C(); //# 42: static type warning |
} |
} |