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

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_index_super.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 Index extends core::Object { 5 class Index extends core::Object {
6 constructor •() → void 6 constructor •() → void
7 : super core::Object::•() 7 : super core::Object::•()
8 ; 8 ;
9 } 9 }
10 class A extends core::Object { 10 class A extends core::Object {
(...skipping 26 matching lines...) Expand all
37 operator [](self::Index i) → self::B 37 operator [](self::Index i) → self::B
38 return null; 38 return null;
39 operator []=(self::Index i, self::B v) → void {} 39 operator []=(self::Index i, self::B v) → void {}
40 } 40 }
41 class Test extends self::Base { 41 class Test extends self::Base {
42 constructor •() → void 42 constructor •() → void
43 : super self::Base::•() 43 : super self::Base::•()
44 ; 44 ;
45 method test() → void { 45 method test() → void {
46 super.[]=(self::f<dynamic>(), self::f<dynamic>()); 46 super.[]=(self::f<dynamic>(), self::f<dynamic>());
47 let final dynamic #t1 = self::f<dynamic>() in super.[](#t1).==(null) ?{dynam ic} let final dynamic #t2 = self::f<dynamic>() in let final dynamic #t3 = super. []=(#t1, #t2) in #t2 : null; 47 let final dynamic #t1 = self::f<dynamic>() in super.[](#t1).==(null) ? let f inal dynamic #t2 = self::f<dynamic>() in let final dynamic #t3 = super.[]=(#t1, #t2) in #t2 : null;
48 let final dynamic #t4 = self::f<dynamic>() in super.[]=(#t4, super.[](#t4).+ (self::f<dynamic>())); 48 let final dynamic #t4 = self::f<dynamic>() in super.[]=(#t4, super.[](#t4).+ (self::f<dynamic>()));
49 let final dynamic #t5 = self::f<dynamic>() in super.[]=(#t5, super.[](#t5).* (self::f<dynamic>())); 49 let final dynamic #t5 = self::f<dynamic>() in super.[]=(#t5, super.[](#t5).* (self::f<dynamic>()));
50 let final dynamic #t6 = self::f<dynamic>() in super.[]=(#t6, super.[](#t6).& (self::f<dynamic>())); 50 let final dynamic #t6 = self::f<dynamic>() in super.[]=(#t6, super.[](#t6).& (self::f<dynamic>()));
51 let final dynamic #t7 = self::f<dynamic>() in let final dynamic #t8 = super. [](#t7).-(1) in let final dynamic #t9 = super.[]=(#t7, #t8) in #t8; 51 let final dynamic #t7 = self::f<dynamic>() in let final dynamic #t8 = super. [](#t7).-(1) in let final dynamic #t9 = super.[]=(#t7, #t8) in #t8;
52 let final dynamic #t10 = self::f<dynamic>() in super.[]=(#t10, super.[](#t10 ).-(1)); 52 let final dynamic #t10 = self::f<dynamic>() in super.[]=(#t10, super.[](#t10 ).-(1));
53 dynamic v1 = let final dynamic #t11 = self::f<dynamic>() in let final dynami c #t12 = self::f<dynamic>() in let final dynamic #t13 = super.[]=(#t11, #t12) in #t12; 53 dynamic v1 = let final dynamic #t11 = self::f<dynamic>() in let final dynami c #t12 = self::f<dynamic>() in let final dynamic #t13 = super.[]=(#t11, #t12) in #t12;
54 dynamic v2 = let final dynamic #t14 = self::f<dynamic>() in let final dynami c #t15 = super.[](#t14) in #t15.==(null) ?{dynamic} let final dynamic #t16 = sel f::f<dynamic>() in let final dynamic #t17 = super.[]=(#t14, #t16) in #t16 : #t15 ; 54 dynamic v2 = let final dynamic #t14 = self::f<dynamic>() in let final dynami c #t15 = super.[](#t14) in #t15.==(null) ? let final dynamic #t16 = self::f<dyna mic>() in let final dynamic #t17 = super.[]=(#t14, #t16) in #t16 : #t15;
55 dynamic v3 = let final dynamic #t18 = self::f<dynamic>() in let final dynami c #t19 = super.[](#t18).+(self::f<dynamic>()) in let final dynamic #t20 = super. []=(#t18, #t19) in #t19; 55 dynamic v3 = let final dynamic #t18 = self::f<dynamic>() in let final dynami c #t19 = super.[](#t18).+(self::f<dynamic>()) in let final dynamic #t20 = super. []=(#t18, #t19) in #t19;
56 dynamic v4 = let final dynamic #t21 = self::f<dynamic>() in let final dynami c #t22 = super.[](#t21).*(self::f<dynamic>()) in let final dynamic #t23 = super. []=(#t21, #t22) in #t22; 56 dynamic v4 = let final dynamic #t21 = self::f<dynamic>() in let final dynami c #t22 = super.[](#t21).*(self::f<dynamic>()) in let final dynamic #t23 = super. []=(#t21, #t22) in #t22;
57 dynamic v5 = let final dynamic #t24 = self::f<dynamic>() in let final dynami c #t25 = super.[](#t24).&(self::f<dynamic>()) in let final dynamic #t26 = super. []=(#t24, #t25) in #t25; 57 dynamic v5 = let final dynamic #t24 = self::f<dynamic>() in let final dynami c #t25 = super.[](#t24).&(self::f<dynamic>()) in let final dynamic #t26 = super. []=(#t24, #t25) in #t25;
58 dynamic v6 = let final dynamic #t27 = self::f<dynamic>() in let final dynami c #t28 = super.[](#t27).-(1) in let final dynamic #t29 = super.[]=(#t27, #t28) i n #t28; 58 dynamic v6 = let final dynamic #t27 = self::f<dynamic>() in let final dynami c #t28 = super.[](#t27).-(1) in let final dynamic #t29 = super.[]=(#t27, #t28) i n #t28;
59 dynamic v7 = let final dynamic #t30 = self::f<dynamic>() in let final dynami c #t31 = super.[](#t30) in let final dynamic #t32 = super.[]=(#t30, #t31.-(1)) i n #t31; 59 dynamic v7 = let final dynamic #t30 = self::f<dynamic>() in let final dynami c #t31 = super.[](#t30) in let final dynamic #t32 = super.[]=(#t30, #t31.-(1)) i n #t31;
60 } 60 }
61 } 61 }
62 static method f<T extends core::Object>() → self::f::T 62 static method f<T extends core::Object>() → self::f::T
63 return null; 63 return null;
64 static method main() → dynamic {} 64 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698