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

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_property_super_upwards.dart.direct.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 Base extends core::Object { 5 class Base extends core::Object {
6 field core::int intProp = null; 6 field core::int intProp = null;
7 field core::num numProp = null; 7 field core::num numProp = null;
8 field core::double doubleProp = null; 8 field core::double doubleProp = null;
9 constructor •() → void 9 constructor •() → void
10 : super core::Object::•() 10 : super core::Object::•()
11 ; 11 ;
12 } 12 }
13 class Test1 extends self::Base { 13 class Test1 extends self::Base {
14 constructor •() → void 14 constructor •() → void
15 : super self::Base::•() 15 : super self::Base::•()
16 ; 16 ;
17 method test() → void { 17 method test() → void {
18 dynamic v1 = super.intProp = self::getInt(); 18 dynamic v1 = super.intProp = self::getInt();
19 dynamic v2 = super.intProp = self::getNum(); 19 dynamic v2 = super.intProp = self::getNum();
20 dynamic v4 = let final dynamic #t1 = super.intProp in #t1.==(null) ?{dynamic } super.intProp = self::getInt() : #t1; 20 dynamic v4 = let final dynamic #t1 = super.intProp in #t1.==(null) ? super.i ntProp = self::getInt() : #t1;
21 dynamic v5 = let final dynamic #t2 = super.intProp in #t2.==(null) ?{dynamic } super.intProp = self::getNum() : #t2; 21 dynamic v5 = let final dynamic #t2 = super.intProp in #t2.==(null) ? super.i ntProp = self::getNum() : #t2;
22 dynamic v7 = super.intProp = super.intProp.+(self::getInt()); 22 dynamic v7 = super.intProp = super.intProp.+(self::getInt());
23 dynamic v8 = super.intProp = super.intProp.+(self::getNum()); 23 dynamic v8 = super.intProp = super.intProp.+(self::getNum());
24 dynamic v10 = super.intProp = super.intProp.+(1); 24 dynamic v10 = super.intProp = super.intProp.+(1);
25 dynamic v11 = let final dynamic #t3 = super.intProp in let final dynamic #t4 = super.intProp = #t3.+(1) in #t3; 25 dynamic v11 = let final dynamic #t3 = super.intProp in let final dynamic #t4 = super.intProp = #t3.+(1) in #t3;
26 } 26 }
27 } 27 }
28 class Test2 extends self::Base { 28 class Test2 extends self::Base {
29 constructor •() → void 29 constructor •() → void
30 : super self::Base::•() 30 : super self::Base::•()
31 ; 31 ;
32 method test() → void { 32 method test() → void {
33 dynamic v1 = super.numProp = self::getInt(); 33 dynamic v1 = super.numProp = self::getInt();
34 dynamic v2 = super.numProp = self::getNum(); 34 dynamic v2 = super.numProp = self::getNum();
35 dynamic v3 = super.numProp = self::getDouble(); 35 dynamic v3 = super.numProp = self::getDouble();
36 dynamic v4 = let final dynamic #t5 = super.numProp in #t5.==(null) ?{dynamic } super.numProp = self::getInt() : #t5; 36 dynamic v4 = let final dynamic #t5 = super.numProp in #t5.==(null) ? super.n umProp = self::getInt() : #t5;
37 dynamic v5 = let final dynamic #t6 = super.numProp in #t6.==(null) ?{dynamic } super.numProp = self::getNum() : #t6; 37 dynamic v5 = let final dynamic #t6 = super.numProp in #t6.==(null) ? super.n umProp = self::getNum() : #t6;
38 dynamic v6 = let final dynamic #t7 = super.numProp in #t7.==(null) ?{dynamic } super.numProp = self::getDouble() : #t7; 38 dynamic v6 = let final dynamic #t7 = super.numProp in #t7.==(null) ? super.n umProp = self::getDouble() : #t7;
39 dynamic v7 = super.numProp = super.numProp.+(self::getInt()); 39 dynamic v7 = super.numProp = super.numProp.+(self::getInt());
40 dynamic v8 = super.numProp = super.numProp.+(self::getNum()); 40 dynamic v8 = super.numProp = super.numProp.+(self::getNum());
41 dynamic v9 = super.numProp = super.numProp.+(self::getDouble()); 41 dynamic v9 = super.numProp = super.numProp.+(self::getDouble());
42 dynamic v10 = super.numProp = super.numProp.+(1); 42 dynamic v10 = super.numProp = super.numProp.+(1);
43 dynamic v11 = let final dynamic #t8 = super.numProp in let final dynamic #t9 = super.numProp = #t8.+(1) in #t8; 43 dynamic v11 = let final dynamic #t8 = super.numProp in let final dynamic #t9 = super.numProp = #t8.+(1) in #t8;
44 } 44 }
45 } 45 }
46 class Test3 extends self::Base { 46 class Test3 extends self::Base {
47 constructor •() → void 47 constructor •() → void
48 : super self::Base::•() 48 : super self::Base::•()
49 ; 49 ;
50 method test3() → void { 50 method test3() → void {
51 dynamic v2 = super.doubleProp = self::getNum(); 51 dynamic v2 = super.doubleProp = self::getNum();
52 dynamic v3 = super.doubleProp = self::getDouble(); 52 dynamic v3 = super.doubleProp = self::getDouble();
53 dynamic v5 = let final dynamic #t10 = super.doubleProp in #t10.==(null) ?{dy namic} super.doubleProp = self::getNum() : #t10; 53 dynamic v5 = let final dynamic #t10 = super.doubleProp in #t10.==(null) ? su per.doubleProp = self::getNum() : #t10;
54 dynamic v6 = let final dynamic #t11 = super.doubleProp in #t11.==(null) ?{dy namic} super.doubleProp = self::getDouble() : #t11; 54 dynamic v6 = let final dynamic #t11 = super.doubleProp in #t11.==(null) ? su per.doubleProp = self::getDouble() : #t11;
55 dynamic v7 = super.doubleProp = super.doubleProp.+(self::getInt()); 55 dynamic v7 = super.doubleProp = super.doubleProp.+(self::getInt());
56 dynamic v8 = super.doubleProp = super.doubleProp.+(self::getNum()); 56 dynamic v8 = super.doubleProp = super.doubleProp.+(self::getNum());
57 dynamic v9 = super.doubleProp = super.doubleProp.+(self::getDouble()); 57 dynamic v9 = super.doubleProp = super.doubleProp.+(self::getDouble());
58 dynamic v10 = super.doubleProp = super.doubleProp.+(1); 58 dynamic v10 = super.doubleProp = super.doubleProp.+(1);
59 dynamic v11 = let final dynamic #t12 = super.doubleProp in let final dynamic #t13 = super.doubleProp = #t12.+(1) in #t12; 59 dynamic v11 = let final dynamic #t12 = super.doubleProp in let final dynamic #t13 = super.doubleProp = #t12.+(1) in #t12;
60 } 60 }
61 } 61 }
62 static method getInt() → core::int 62 static method getInt() → core::int
63 return 0; 63 return 0;
64 static method getNum() → core::num 64 static method getNum() → core::num
65 return 0; 65 return 0;
66 static method getDouble() → core::double 66 static method getDouble() → core::double
67 return 0.0; 67 return 0.0;
68 static method main() → dynamic {} 68 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698