Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1465)

Side by Side Diff: pkg/front_end/testcases/inference_new/infer_instance_field_ref.dart.strong.expect

Issue 2953503002: Only set types of conditional expressions in strong mode. (Closed)
Patch Set: Created 3 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 library test; 1 library test;
2 import self as self; 2 import self as self;
3 import "dart:core" as core; 3 import "dart:core" as core;
4 4
5 class A extends core::Object { 5 class A extends core::Object {
6 field self::B b = null; 6 field self::B b = null;
7 constructor •() → void 7 constructor •() → void
8 : super core::Object::•() 8 : super core::Object::•()
9 ; 9 ;
10 } 10 }
11 class B extends core::Object { 11 class B extends core::Object {
12 field self::C c = null; 12 field self::C c = null;
13 constructor •() → void 13 constructor •() → void
14 : super core::Object::•() 14 : super core::Object::•()
15 ; 15 ;
16 } 16 }
17 class C extends core::Object { 17 class C extends core::Object {
18 constructor •() → void 18 constructor •() → void
19 : super core::Object::•() 19 : super core::Object::•()
20 ; 20 ;
21 } 21 }
22 class D extends self::C { 22 class D extends self::C {
23 constructor •() → void 23 constructor •() → void
24 : super self::C::•() 24 : super self::C::•()
25 ; 25 ;
26 } 26 }
27 static field self::A a = new self::A::•(); 27 static field self::A a = new self::A::•();
28 static field self::C x = self::a.{self::A::b}.{self::B::c}; 28 static field self::C x = self::a.{self::A::b}.{self::B::c};
29 static field self::C y = let final dynamic #t1 = self::a.{self::A::b} in let fin al dynamic #t2 = #t1.{self::B::c} in #t2.{core::Object::==}(null) ?{dynamic} #t1 .{self::B::c} = new self::D::•() : #t2; 29 static field self::C y = let final dynamic #t1 = self::a.{self::A::b} in let fin al dynamic #t2 = #t1.{self::B::c} in #t2.{core::Object::==}(null) ? #t1.{self::B ::c} = new self::D::•() : #t2;
30 static method main() → dynamic {} 30 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698