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

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_static.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 A extends core::Object { 5 class A extends core::Object {
6 constructor •() → void 6 constructor •() → void
7 : super core::Object::•() 7 : super core::Object::•()
8 ; 8 ;
9 } 9 }
10 class B extends self::A { 10 class B extends self::A {
(...skipping 13 matching lines...) Expand all
24 class C extends self::B { 24 class C extends self::B {
25 constructor •() → void 25 constructor •() → void
26 : super self::B::•() 26 : super self::B::•()
27 ; 27 ;
28 } 28 }
29 static field self::B topLevelVariable; 29 static field self::B topLevelVariable;
30 static method f<T extends core::Object>() → self::f::T 30 static method f<T extends core::Object>() → self::f::T
31 return null; 31 return null;
32 static method test_topLevelVariable() → void { 32 static method test_topLevelVariable() → void {
33 self::topLevelVariable = self::f<dynamic>(); 33 self::topLevelVariable = self::f<dynamic>();
34 self::topLevelVariable.==(null) ?{dynamic} self::topLevelVariable = self::f<dy namic>() : null; 34 self::topLevelVariable.==(null) ? self::topLevelVariable = self::f<dynamic>() : null;
35 self::topLevelVariable = self::topLevelVariable.+(self::f<dynamic>()); 35 self::topLevelVariable = self::topLevelVariable.+(self::f<dynamic>());
36 self::topLevelVariable = self::topLevelVariable.*(self::f<dynamic>()); 36 self::topLevelVariable = self::topLevelVariable.*(self::f<dynamic>());
37 self::topLevelVariable = self::topLevelVariable.&(self::f<dynamic>()); 37 self::topLevelVariable = self::topLevelVariable.&(self::f<dynamic>());
38 self::topLevelVariable = self::topLevelVariable.-(1); 38 self::topLevelVariable = self::topLevelVariable.-(1);
39 self::topLevelVariable = self::topLevelVariable.-(1); 39 self::topLevelVariable = self::topLevelVariable.-(1);
40 dynamic v1 = self::topLevelVariable = self::f<dynamic>(); 40 dynamic v1 = self::topLevelVariable = self::f<dynamic>();
41 dynamic v2 = let final dynamic #t1 = self::topLevelVariable in #t1.==(null) ?{ dynamic} self::topLevelVariable = self::f<dynamic>() : #t1; 41 dynamic v2 = let final dynamic #t1 = self::topLevelVariable in #t1.==(null) ? self::topLevelVariable = self::f<dynamic>() : #t1;
42 dynamic v3 = self::topLevelVariable = self::topLevelVariable.+(self::f<dynamic >()); 42 dynamic v3 = self::topLevelVariable = self::topLevelVariable.+(self::f<dynamic >());
43 dynamic v4 = self::topLevelVariable = self::topLevelVariable.*(self::f<dynamic >()); 43 dynamic v4 = self::topLevelVariable = self::topLevelVariable.*(self::f<dynamic >());
44 dynamic v5 = self::topLevelVariable = self::topLevelVariable.&(self::f<dynamic >()); 44 dynamic v5 = self::topLevelVariable = self::topLevelVariable.&(self::f<dynamic >());
45 dynamic v6 = self::topLevelVariable = self::topLevelVariable.-(1); 45 dynamic v6 = self::topLevelVariable = self::topLevelVariable.-(1);
46 dynamic v7 = let final dynamic #t2 = self::topLevelVariable in let final dynam ic #t3 = self::topLevelVariable = #t2.-(1) in #t2; 46 dynamic v7 = let final dynamic #t2 = self::topLevelVariable in let final dynam ic #t3 = self::topLevelVariable = #t2.-(1) in #t2;
47 } 47 }
48 static method test_staticVariable() → void { 48 static method test_staticVariable() → void {
49 self::B::staticVariable = self::f<dynamic>(); 49 self::B::staticVariable = self::f<dynamic>();
50 self::B::staticVariable.==(null) ?{dynamic} self::B::staticVariable = self::f< dynamic>() : null; 50 self::B::staticVariable.==(null) ? self::B::staticVariable = self::f<dynamic>( ) : null;
51 self::B::staticVariable = self::B::staticVariable.+(self::f<dynamic>()); 51 self::B::staticVariable = self::B::staticVariable.+(self::f<dynamic>());
52 self::B::staticVariable = self::B::staticVariable.*(self::f<dynamic>()); 52 self::B::staticVariable = self::B::staticVariable.*(self::f<dynamic>());
53 self::B::staticVariable = self::B::staticVariable.&(self::f<dynamic>()); 53 self::B::staticVariable = self::B::staticVariable.&(self::f<dynamic>());
54 self::B::staticVariable = self::B::staticVariable.-(1); 54 self::B::staticVariable = self::B::staticVariable.-(1);
55 self::B::staticVariable = self::B::staticVariable.-(1); 55 self::B::staticVariable = self::B::staticVariable.-(1);
56 dynamic v1 = self::B::staticVariable = self::f<dynamic>(); 56 dynamic v1 = self::B::staticVariable = self::f<dynamic>();
57 dynamic v2 = let final dynamic #t4 = self::B::staticVariable in #t4.==(null) ? {dynamic} self::B::staticVariable = self::f<dynamic>() : #t4; 57 dynamic v2 = let final dynamic #t4 = self::B::staticVariable in #t4.==(null) ? self::B::staticVariable = self::f<dynamic>() : #t4;
58 dynamic v3 = self::B::staticVariable = self::B::staticVariable.+(self::f<dynam ic>()); 58 dynamic v3 = self::B::staticVariable = self::B::staticVariable.+(self::f<dynam ic>());
59 dynamic v4 = self::B::staticVariable = self::B::staticVariable.*(self::f<dynam ic>()); 59 dynamic v4 = self::B::staticVariable = self::B::staticVariable.*(self::f<dynam ic>());
60 dynamic v5 = self::B::staticVariable = self::B::staticVariable.&(self::f<dynam ic>()); 60 dynamic v5 = self::B::staticVariable = self::B::staticVariable.&(self::f<dynam ic>());
61 dynamic v6 = self::B::staticVariable = self::B::staticVariable.-(1); 61 dynamic v6 = self::B::staticVariable = self::B::staticVariable.-(1);
62 dynamic v7 = let final dynamic #t5 = self::B::staticVariable in let final dyna mic #t6 = self::B::staticVariable = #t5.-(1) in #t5; 62 dynamic v7 = let final dynamic #t5 = self::B::staticVariable in let final dyna mic #t6 = self::B::staticVariable = #t5.-(1) in #t5;
63 } 63 }
64 static method main() → dynamic {} 64 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698