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

Issues Search
    My Issues | Starred     Open | Closed | All

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_index_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
« no previous file with comments | « pkg/front_end/testcases/inference/infer_assign_to_index_super.dart.strong.expect ('k') | pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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 abstract class Base<T extends core::Object, U extends core::Object> extends core ::Object { 5 abstract class Base<T extends core::Object, U extends core::Object> extends core ::Object {
6 constructor •() → void 6 constructor •() → void
7 : super core::Object::•() 7 : super core::Object::•()
8 ; 8 ;
9 operator [](core::String s) → self::Base::T 9 operator [](core::String s) → self::Base::T
10 return this.getValue(s); 10 return this.getValue(s);
11 operator []=(core::String s, self::Base::U v) → void 11 operator []=(core::String s, self::Base::U v) → void
12 return this.setValue(s, v); 12 return this.setValue(s, v);
13 abstract method getValue(core::String s) → self::Base::T; 13 abstract method getValue(core::String s) → self::Base::T;
14 abstract method setValue(core::String s, self::Base::U v) → void; 14 abstract method setValue(core::String s, self::Base::U v) → void;
15 } 15 }
16 abstract class Test1 extends self::Base<core::int, core::int> { 16 abstract class Test1 extends self::Base<core::int, core::int> {
17 constructor •() → void 17 constructor •() → void
18 : super self::Base::•() 18 : super self::Base::•()
19 ; 19 ;
20 method test() → void { 20 method test() → void {
21 dynamic v1 = let final dynamic #t1 = "x" in let final dynamic #t2 = self::ge tInt() in let final dynamic #t3 = super.[]=(#t1, #t2) in #t2; 21 dynamic v1 = let final dynamic #t1 = "x" in let final dynamic #t2 = self::ge tInt() in let final dynamic #t3 = super.[]=(#t1, #t2) in #t2;
22 dynamic v2 = let final dynamic #t4 = "x" in let final dynamic #t5 = self::ge tNum() in let final dynamic #t6 = super.[]=(#t4, #t5) in #t5; 22 dynamic v2 = let final dynamic #t4 = "x" in let final dynamic #t5 = self::ge tNum() in let final dynamic #t6 = super.[]=(#t4, #t5) in #t5;
23 dynamic v4 = let final dynamic #t7 = "x" in let final dynamic #t8 = super.[] (#t7) in #t8.==(null) ?{dynamic} let final dynamic #t9 = self::getInt() in let f inal dynamic #t10 = super.[]=(#t7, #t9) in #t9 : #t8; 23 dynamic v4 = let final dynamic #t7 = "x" in let final dynamic #t8 = super.[] (#t7) in #t8.==(null) ? let final dynamic #t9 = self::getInt() in let final dyna mic #t10 = super.[]=(#t7, #t9) in #t9 : #t8;
24 dynamic v5 = let final dynamic #t11 = "x" in let final dynamic #t12 = super. [](#t11) in #t12.==(null) ?{dynamic} let final dynamic #t13 = self::getNum() in let final dynamic #t14 = super.[]=(#t11, #t13) in #t13 : #t12; 24 dynamic v5 = let final dynamic #t11 = "x" in let final dynamic #t12 = super. [](#t11) in #t12.==(null) ? let final dynamic #t13 = self::getNum() in let final dynamic #t14 = super.[]=(#t11, #t13) in #t13 : #t12;
25 dynamic v7 = let final dynamic #t15 = "x" in let final dynamic #t16 = super. [](#t15).+(self::getInt()) in let final dynamic #t17 = super.[]=(#t15, #t16) in #t16; 25 dynamic v7 = let final dynamic #t15 = "x" in let final dynamic #t16 = super. [](#t15).+(self::getInt()) in let final dynamic #t17 = super.[]=(#t15, #t16) in #t16;
26 dynamic v8 = let final dynamic #t18 = "x" in let final dynamic #t19 = super. [](#t18).+(self::getNum()) in let final dynamic #t20 = super.[]=(#t18, #t19) in #t19; 26 dynamic v8 = let final dynamic #t18 = "x" in let final dynamic #t19 = super. [](#t18).+(self::getNum()) in let final dynamic #t20 = super.[]=(#t18, #t19) in #t19;
27 dynamic v10 = let final dynamic #t21 = "x" in let final dynamic #t22 = super .[](#t21).+(1) in let final dynamic #t23 = super.[]=(#t21, #t22) in #t22; 27 dynamic v10 = let final dynamic #t21 = "x" in let final dynamic #t22 = super .[](#t21).+(1) in let final dynamic #t23 = super.[]=(#t21, #t22) in #t22;
28 dynamic v11 = let final dynamic #t24 = "x" in let final dynamic #t25 = super .[](#t24) in let final dynamic #t26 = super.[]=(#t24, #t25.+(1)) in #t25; 28 dynamic v11 = let final dynamic #t24 = "x" in let final dynamic #t25 = super .[](#t24) in let final dynamic #t26 = super.[]=(#t24, #t25.+(1)) in #t25;
29 } 29 }
30 } 30 }
31 abstract class Test2 extends self::Base<core::int, core::num> { 31 abstract class Test2 extends self::Base<core::int, core::num> {
32 constructor •() → void 32 constructor •() → void
33 : super self::Base::•() 33 : super self::Base::•()
34 ; 34 ;
35 method test() → void { 35 method test() → void {
36 dynamic v1 = let final dynamic #t27 = "x" in let final dynamic #t28 = self:: getInt() in let final dynamic #t29 = super.[]=(#t27, #t28) in #t28; 36 dynamic v1 = let final dynamic #t27 = "x" in let final dynamic #t28 = self:: getInt() in let final dynamic #t29 = super.[]=(#t27, #t28) in #t28;
37 dynamic v2 = let final dynamic #t30 = "x" in let final dynamic #t31 = self:: getNum() in let final dynamic #t32 = super.[]=(#t30, #t31) in #t31; 37 dynamic v2 = let final dynamic #t30 = "x" in let final dynamic #t31 = self:: getNum() in let final dynamic #t32 = super.[]=(#t30, #t31) in #t31;
38 dynamic v3 = let final dynamic #t33 = "x" in let final dynamic #t34 = self:: getDouble() in let final dynamic #t35 = super.[]=(#t33, #t34) in #t34; 38 dynamic v3 = let final dynamic #t33 = "x" in let final dynamic #t34 = self:: getDouble() in let final dynamic #t35 = super.[]=(#t33, #t34) in #t34;
39 dynamic v4 = let final dynamic #t36 = "x" in let final dynamic #t37 = super. [](#t36) in #t37.==(null) ?{dynamic} let final dynamic #t38 = self::getInt() in let final dynamic #t39 = super.[]=(#t36, #t38) in #t38 : #t37; 39 dynamic v4 = let final dynamic #t36 = "x" in let final dynamic #t37 = super. [](#t36) in #t37.==(null) ? let final dynamic #t38 = self::getInt() in let final dynamic #t39 = super.[]=(#t36, #t38) in #t38 : #t37;
40 dynamic v5 = let final dynamic #t40 = "x" in let final dynamic #t41 = super. [](#t40) in #t41.==(null) ?{dynamic} let final dynamic #t42 = self::getNum() in let final dynamic #t43 = super.[]=(#t40, #t42) in #t42 : #t41; 40 dynamic v5 = let final dynamic #t40 = "x" in let final dynamic #t41 = super. [](#t40) in #t41.==(null) ? let final dynamic #t42 = self::getNum() in let final dynamic #t43 = super.[]=(#t40, #t42) in #t42 : #t41;
41 dynamic v6 = let final dynamic #t44 = "x" in let final dynamic #t45 = super. [](#t44) in #t45.==(null) ?{dynamic} let final dynamic #t46 = self::getDouble() in let final dynamic #t47 = super.[]=(#t44, #t46) in #t46 : #t45; 41 dynamic v6 = let final dynamic #t44 = "x" in let final dynamic #t45 = super. [](#t44) in #t45.==(null) ? let final dynamic #t46 = self::getDouble() in let fi nal dynamic #t47 = super.[]=(#t44, #t46) in #t46 : #t45;
42 dynamic v7 = let final dynamic #t48 = "x" in let final dynamic #t49 = super. [](#t48).+(self::getInt()) in let final dynamic #t50 = super.[]=(#t48, #t49) in #t49; 42 dynamic v7 = let final dynamic #t48 = "x" in let final dynamic #t49 = super. [](#t48).+(self::getInt()) in let final dynamic #t50 = super.[]=(#t48, #t49) in #t49;
43 dynamic v8 = let final dynamic #t51 = "x" in let final dynamic #t52 = super. [](#t51).+(self::getNum()) in let final dynamic #t53 = super.[]=(#t51, #t52) in #t52; 43 dynamic v8 = let final dynamic #t51 = "x" in let final dynamic #t52 = super. [](#t51).+(self::getNum()) in let final dynamic #t53 = super.[]=(#t51, #t52) in #t52;
44 dynamic v9 = let final dynamic #t54 = "x" in let final dynamic #t55 = super. [](#t54).+(self::getDouble()) in let final dynamic #t56 = super.[]=(#t54, #t55) in #t55; 44 dynamic v9 = let final dynamic #t54 = "x" in let final dynamic #t55 = super. [](#t54).+(self::getDouble()) in let final dynamic #t56 = super.[]=(#t54, #t55) in #t55;
45 dynamic v10 = let final dynamic #t57 = "x" in let final dynamic #t58 = super .[](#t57).+(1) in let final dynamic #t59 = super.[]=(#t57, #t58) in #t58; 45 dynamic v10 = let final dynamic #t57 = "x" in let final dynamic #t58 = super .[](#t57).+(1) in let final dynamic #t59 = super.[]=(#t57, #t58) in #t58;
46 dynamic v11 = let final dynamic #t60 = "x" in let final dynamic #t61 = super .[](#t60) in let final dynamic #t62 = super.[]=(#t60, #t61.+(1)) in #t61; 46 dynamic v11 = let final dynamic #t60 = "x" in let final dynamic #t61 = super .[](#t60) in let final dynamic #t62 = super.[]=(#t60, #t61.+(1)) in #t61;
47 } 47 }
48 } 48 }
49 abstract class Test3 extends self::Base<core::int, core::double> { 49 abstract class Test3 extends self::Base<core::int, core::double> {
50 constructor •() → void 50 constructor •() → void
51 : super self::Base::•() 51 : super self::Base::•()
52 ; 52 ;
53 method test() → void { 53 method test() → void {
54 dynamic v2 = let final dynamic #t63 = "x" in let final dynamic #t64 = self:: getNum() in let final dynamic #t65 = super.[]=(#t63, #t64) in #t64; 54 dynamic v2 = let final dynamic #t63 = "x" in let final dynamic #t64 = self:: getNum() in let final dynamic #t65 = super.[]=(#t63, #t64) in #t64;
55 dynamic v3 = let final dynamic #t66 = "x" in let final dynamic #t67 = self:: getDouble() in let final dynamic #t68 = super.[]=(#t66, #t67) in #t67; 55 dynamic v3 = let final dynamic #t66 = "x" in let final dynamic #t67 = self:: getDouble() in let final dynamic #t68 = super.[]=(#t66, #t67) in #t67;
56 dynamic v5 = let final dynamic #t69 = "x" in let final dynamic #t70 = super. [](#t69) in #t70.==(null) ?{dynamic} let final dynamic #t71 = self::getNum() in let final dynamic #t72 = super.[]=(#t69, #t71) in #t71 : #t70; 56 dynamic v5 = let final dynamic #t69 = "x" in let final dynamic #t70 = super. [](#t69) in #t70.==(null) ? let final dynamic #t71 = self::getNum() in let final dynamic #t72 = super.[]=(#t69, #t71) in #t71 : #t70;
57 dynamic v6 = let final dynamic #t73 = "x" in let final dynamic #t74 = super. [](#t73) in #t74.==(null) ?{dynamic} let final dynamic #t75 = self::getDouble() in let final dynamic #t76 = super.[]=(#t73, #t75) in #t75 : #t74; 57 dynamic v6 = let final dynamic #t73 = "x" in let final dynamic #t74 = super. [](#t73) in #t74.==(null) ? let final dynamic #t75 = self::getDouble() in let fi nal dynamic #t76 = super.[]=(#t73, #t75) in #t75 : #t74;
58 dynamic v7 = let final dynamic #t77 = "x" in let final dynamic #t78 = super. [](#t77).+(self::getInt()) in let final dynamic #t79 = super.[]=(#t77, #t78) in #t78; 58 dynamic v7 = let final dynamic #t77 = "x" in let final dynamic #t78 = super. [](#t77).+(self::getInt()) in let final dynamic #t79 = super.[]=(#t77, #t78) in #t78;
59 dynamic v8 = let final dynamic #t80 = "x" in let final dynamic #t81 = super. [](#t80).+(self::getNum()) in let final dynamic #t82 = super.[]=(#t80, #t81) in #t81; 59 dynamic v8 = let final dynamic #t80 = "x" in let final dynamic #t81 = super. [](#t80).+(self::getNum()) in let final dynamic #t82 = super.[]=(#t80, #t81) in #t81;
60 dynamic v9 = let final dynamic #t83 = "x" in let final dynamic #t84 = super. [](#t83).+(self::getDouble()) in let final dynamic #t85 = super.[]=(#t83, #t84) in #t84; 60 dynamic v9 = let final dynamic #t83 = "x" in let final dynamic #t84 = super. [](#t83).+(self::getDouble()) in let final dynamic #t85 = super.[]=(#t83, #t84) in #t84;
61 dynamic v10 = let final dynamic #t86 = "x" in let final dynamic #t87 = super .[](#t86).+(1) in let final dynamic #t88 = super.[]=(#t86, #t87) in #t87; 61 dynamic v10 = let final dynamic #t86 = "x" in let final dynamic #t87 = super .[](#t86).+(1) in let final dynamic #t88 = super.[]=(#t86, #t87) in #t87;
62 dynamic v11 = let final dynamic #t89 = "x" in let final dynamic #t90 = super .[](#t89) in let final dynamic #t91 = super.[]=(#t89, #t90.+(1)) in #t90; 62 dynamic v11 = let final dynamic #t89 = "x" in let final dynamic #t90 = super .[](#t89) in let final dynamic #t91 = super.[]=(#t89, #t90.+(1)) in #t90;
63 } 63 }
64 } 64 }
65 abstract class Test4 extends self::Base<core::num, core::int> { 65 abstract class Test4 extends self::Base<core::num, core::int> {
66 constructor •() → void 66 constructor •() → void
67 : super self::Base::•() 67 : super self::Base::•()
68 ; 68 ;
69 method test() → void { 69 method test() → void {
70 dynamic v1 = let final dynamic #t92 = "x" in let final dynamic #t93 = self:: getInt() in let final dynamic #t94 = super.[]=(#t92, #t93) in #t93; 70 dynamic v1 = let final dynamic #t92 = "x" in let final dynamic #t93 = self:: getInt() in let final dynamic #t94 = super.[]=(#t92, #t93) in #t93;
71 dynamic v2 = let final dynamic #t95 = "x" in let final dynamic #t96 = self:: getNum() in let final dynamic #t97 = super.[]=(#t95, #t96) in #t96; 71 dynamic v2 = let final dynamic #t95 = "x" in let final dynamic #t96 = self:: getNum() in let final dynamic #t97 = super.[]=(#t95, #t96) in #t96;
72 dynamic v4 = let final dynamic #t98 = "x" in let final dynamic #t99 = super. [](#t98) in #t99.==(null) ?{dynamic} let final dynamic #t100 = self::getInt() in let final dynamic #t101 = super.[]=(#t98, #t100) in #t100 : #t99; 72 dynamic v4 = let final dynamic #t98 = "x" in let final dynamic #t99 = super. [](#t98) in #t99.==(null) ? let final dynamic #t100 = self::getInt() in let fina l dynamic #t101 = super.[]=(#t98, #t100) in #t100 : #t99;
73 dynamic v5 = let final dynamic #t102 = "x" in let final dynamic #t103 = supe r.[](#t102) in #t103.==(null) ?{dynamic} let final dynamic #t104 = self::getNum( ) in let final dynamic #t105 = super.[]=(#t102, #t104) in #t104 : #t103; 73 dynamic v5 = let final dynamic #t102 = "x" in let final dynamic #t103 = supe r.[](#t102) in #t103.==(null) ? let final dynamic #t104 = self::getNum() in let final dynamic #t105 = super.[]=(#t102, #t104) in #t104 : #t103;
74 dynamic v7 = let final dynamic #t106 = "x" in let final dynamic #t107 = supe r.[](#t106).+(self::getInt()) in let final dynamic #t108 = super.[]=(#t106, #t10 7) in #t107; 74 dynamic v7 = let final dynamic #t106 = "x" in let final dynamic #t107 = supe r.[](#t106).+(self::getInt()) in let final dynamic #t108 = super.[]=(#t106, #t10 7) in #t107;
75 dynamic v8 = let final dynamic #t109 = "x" in let final dynamic #t110 = supe r.[](#t109).+(self::getNum()) in let final dynamic #t111 = super.[]=(#t109, #t11 0) in #t110; 75 dynamic v8 = let final dynamic #t109 = "x" in let final dynamic #t110 = supe r.[](#t109).+(self::getNum()) in let final dynamic #t111 = super.[]=(#t109, #t11 0) in #t110;
76 dynamic v10 = let final dynamic #t112 = "x" in let final dynamic #t113 = sup er.[](#t112).+(1) in let final dynamic #t114 = super.[]=(#t112, #t113) in #t113; 76 dynamic v10 = let final dynamic #t112 = "x" in let final dynamic #t113 = sup er.[](#t112).+(1) in let final dynamic #t114 = super.[]=(#t112, #t113) in #t113;
77 dynamic v11 = let final dynamic #t115 = "x" in let final dynamic #t116 = sup er.[](#t115) in let final dynamic #t117 = super.[]=(#t115, #t116.+(1)) in #t116; 77 dynamic v11 = let final dynamic #t115 = "x" in let final dynamic #t116 = sup er.[](#t115) in let final dynamic #t117 = super.[]=(#t115, #t116.+(1)) in #t116;
78 } 78 }
79 } 79 }
80 abstract class Test5 extends self::Base<core::num, core::num> { 80 abstract class Test5 extends self::Base<core::num, core::num> {
81 constructor •() → void 81 constructor •() → void
82 : super self::Base::•() 82 : super self::Base::•()
83 ; 83 ;
84 method test() → void { 84 method test() → void {
85 dynamic v1 = let final dynamic #t118 = "x" in let final dynamic #t119 = self ::getInt() in let final dynamic #t120 = super.[]=(#t118, #t119) in #t119; 85 dynamic v1 = let final dynamic #t118 = "x" in let final dynamic #t119 = self ::getInt() in let final dynamic #t120 = super.[]=(#t118, #t119) in #t119;
86 dynamic v2 = let final dynamic #t121 = "x" in let final dynamic #t122 = self ::getNum() in let final dynamic #t123 = super.[]=(#t121, #t122) in #t122; 86 dynamic v2 = let final dynamic #t121 = "x" in let final dynamic #t122 = self ::getNum() in let final dynamic #t123 = super.[]=(#t121, #t122) in #t122;
87 dynamic v3 = let final dynamic #t124 = "x" in let final dynamic #t125 = self ::getDouble() in let final dynamic #t126 = super.[]=(#t124, #t125) in #t125; 87 dynamic v3 = let final dynamic #t124 = "x" in let final dynamic #t125 = self ::getDouble() in let final dynamic #t126 = super.[]=(#t124, #t125) in #t125;
88 dynamic v4 = let final dynamic #t127 = "x" in let final dynamic #t128 = supe r.[](#t127) in #t128.==(null) ?{dynamic} let final dynamic #t129 = self::getInt( ) in let final dynamic #t130 = super.[]=(#t127, #t129) in #t129 : #t128; 88 dynamic v4 = let final dynamic #t127 = "x" in let final dynamic #t128 = supe r.[](#t127) in #t128.==(null) ? let final dynamic #t129 = self::getInt() in let final dynamic #t130 = super.[]=(#t127, #t129) in #t129 : #t128;
89 dynamic v5 = let final dynamic #t131 = "x" in let final dynamic #t132 = supe r.[](#t131) in #t132.==(null) ?{dynamic} let final dynamic #t133 = self::getNum( ) in let final dynamic #t134 = super.[]=(#t131, #t133) in #t133 : #t132; 89 dynamic v5 = let final dynamic #t131 = "x" in let final dynamic #t132 = supe r.[](#t131) in #t132.==(null) ? let final dynamic #t133 = self::getNum() in let final dynamic #t134 = super.[]=(#t131, #t133) in #t133 : #t132;
90 dynamic v6 = let final dynamic #t135 = "x" in let final dynamic #t136 = supe r.[](#t135) in #t136.==(null) ?{dynamic} let final dynamic #t137 = self::getDoub le() in let final dynamic #t138 = super.[]=(#t135, #t137) in #t137 : #t136; 90 dynamic v6 = let final dynamic #t135 = "x" in let final dynamic #t136 = supe r.[](#t135) in #t136.==(null) ? let final dynamic #t137 = self::getDouble() in l et final dynamic #t138 = super.[]=(#t135, #t137) in #t137 : #t136;
91 dynamic v7 = let final dynamic #t139 = "x" in let final dynamic #t140 = supe r.[](#t139).+(self::getInt()) in let final dynamic #t141 = super.[]=(#t139, #t14 0) in #t140; 91 dynamic v7 = let final dynamic #t139 = "x" in let final dynamic #t140 = supe r.[](#t139).+(self::getInt()) in let final dynamic #t141 = super.[]=(#t139, #t14 0) in #t140;
92 dynamic v8 = let final dynamic #t142 = "x" in let final dynamic #t143 = supe r.[](#t142).+(self::getNum()) in let final dynamic #t144 = super.[]=(#t142, #t14 3) in #t143; 92 dynamic v8 = let final dynamic #t142 = "x" in let final dynamic #t143 = supe r.[](#t142).+(self::getNum()) in let final dynamic #t144 = super.[]=(#t142, #t14 3) in #t143;
93 dynamic v9 = let final dynamic #t145 = "x" in let final dynamic #t146 = supe r.[](#t145).+(self::getDouble()) in let final dynamic #t147 = super.[]=(#t145, # t146) in #t146; 93 dynamic v9 = let final dynamic #t145 = "x" in let final dynamic #t146 = supe r.[](#t145).+(self::getDouble()) in let final dynamic #t147 = super.[]=(#t145, # t146) in #t146;
94 dynamic v10 = let final dynamic #t148 = "x" in let final dynamic #t149 = sup er.[](#t148).+(1) in let final dynamic #t150 = super.[]=(#t148, #t149) in #t149; 94 dynamic v10 = let final dynamic #t148 = "x" in let final dynamic #t149 = sup er.[](#t148).+(1) in let final dynamic #t150 = super.[]=(#t148, #t149) in #t149;
95 dynamic v11 = let final dynamic #t151 = "x" in let final dynamic #t152 = sup er.[](#t151) in let final dynamic #t153 = super.[]=(#t151, #t152.+(1)) in #t152; 95 dynamic v11 = let final dynamic #t151 = "x" in let final dynamic #t152 = sup er.[](#t151) in let final dynamic #t153 = super.[]=(#t151, #t152.+(1)) in #t152;
96 } 96 }
97 } 97 }
98 abstract class Test6 extends self::Base<core::num, core::double> { 98 abstract class Test6 extends self::Base<core::num, core::double> {
99 constructor •() → void 99 constructor •() → void
100 : super self::Base::•() 100 : super self::Base::•()
101 ; 101 ;
102 method test() → void { 102 method test() → void {
103 dynamic v2 = let final dynamic #t154 = "x" in let final dynamic #t155 = self ::getNum() in let final dynamic #t156 = super.[]=(#t154, #t155) in #t155; 103 dynamic v2 = let final dynamic #t154 = "x" in let final dynamic #t155 = self ::getNum() in let final dynamic #t156 = super.[]=(#t154, #t155) in #t155;
104 dynamic v3 = let final dynamic #t157 = "x" in let final dynamic #t158 = self ::getDouble() in let final dynamic #t159 = super.[]=(#t157, #t158) in #t158; 104 dynamic v3 = let final dynamic #t157 = "x" in let final dynamic #t158 = self ::getDouble() in let final dynamic #t159 = super.[]=(#t157, #t158) in #t158;
105 dynamic v5 = let final dynamic #t160 = "x" in let final dynamic #t161 = supe r.[](#t160) in #t161.==(null) ?{dynamic} let final dynamic #t162 = self::getNum( ) in let final dynamic #t163 = super.[]=(#t160, #t162) in #t162 : #t161; 105 dynamic v5 = let final dynamic #t160 = "x" in let final dynamic #t161 = supe r.[](#t160) in #t161.==(null) ? let final dynamic #t162 = self::getNum() in let final dynamic #t163 = super.[]=(#t160, #t162) in #t162 : #t161;
106 dynamic v6 = let final dynamic #t164 = "x" in let final dynamic #t165 = supe r.[](#t164) in #t165.==(null) ?{dynamic} let final dynamic #t166 = self::getDoub le() in let final dynamic #t167 = super.[]=(#t164, #t166) in #t166 : #t165; 106 dynamic v6 = let final dynamic #t164 = "x" in let final dynamic #t165 = supe r.[](#t164) in #t165.==(null) ? let final dynamic #t166 = self::getDouble() in l et final dynamic #t167 = super.[]=(#t164, #t166) in #t166 : #t165;
107 dynamic v7 = let final dynamic #t168 = "x" in let final dynamic #t169 = supe r.[](#t168).+(self::getInt()) in let final dynamic #t170 = super.[]=(#t168, #t16 9) in #t169; 107 dynamic v7 = let final dynamic #t168 = "x" in let final dynamic #t169 = supe r.[](#t168).+(self::getInt()) in let final dynamic #t170 = super.[]=(#t168, #t16 9) in #t169;
108 dynamic v8 = let final dynamic #t171 = "x" in let final dynamic #t172 = supe r.[](#t171).+(self::getNum()) in let final dynamic #t173 = super.[]=(#t171, #t17 2) in #t172; 108 dynamic v8 = let final dynamic #t171 = "x" in let final dynamic #t172 = supe r.[](#t171).+(self::getNum()) in let final dynamic #t173 = super.[]=(#t171, #t17 2) in #t172;
109 dynamic v9 = let final dynamic #t174 = "x" in let final dynamic #t175 = supe r.[](#t174).+(self::getDouble()) in let final dynamic #t176 = super.[]=(#t174, # t175) in #t175; 109 dynamic v9 = let final dynamic #t174 = "x" in let final dynamic #t175 = supe r.[](#t174).+(self::getDouble()) in let final dynamic #t176 = super.[]=(#t174, # t175) in #t175;
110 dynamic v10 = let final dynamic #t177 = "x" in let final dynamic #t178 = sup er.[](#t177).+(1) in let final dynamic #t179 = super.[]=(#t177, #t178) in #t178; 110 dynamic v10 = let final dynamic #t177 = "x" in let final dynamic #t178 = sup er.[](#t177).+(1) in let final dynamic #t179 = super.[]=(#t177, #t178) in #t178;
111 dynamic v11 = let final dynamic #t180 = "x" in let final dynamic #t181 = sup er.[](#t180) in let final dynamic #t182 = super.[]=(#t180, #t181.+(1)) in #t181; 111 dynamic v11 = let final dynamic #t180 = "x" in let final dynamic #t181 = sup er.[](#t180) in let final dynamic #t182 = super.[]=(#t180, #t181.+(1)) in #t181;
112 } 112 }
113 } 113 }
114 abstract class Test7 extends self::Base<core::double, core::int> { 114 abstract class Test7 extends self::Base<core::double, core::int> {
115 constructor •() → void 115 constructor •() → void
116 : super self::Base::•() 116 : super self::Base::•()
117 ; 117 ;
118 method test() → void { 118 method test() → void {
119 dynamic v1 = let final dynamic #t183 = "x" in let final dynamic #t184 = self ::getInt() in let final dynamic #t185 = super.[]=(#t183, #t184) in #t184; 119 dynamic v1 = let final dynamic #t183 = "x" in let final dynamic #t184 = self ::getInt() in let final dynamic #t185 = super.[]=(#t183, #t184) in #t184;
120 dynamic v2 = let final dynamic #t186 = "x" in let final dynamic #t187 = self ::getNum() in let final dynamic #t188 = super.[]=(#t186, #t187) in #t187; 120 dynamic v2 = let final dynamic #t186 = "x" in let final dynamic #t187 = self ::getNum() in let final dynamic #t188 = super.[]=(#t186, #t187) in #t187;
121 dynamic v4 = let final dynamic #t189 = "x" in let final dynamic #t190 = supe r.[](#t189) in #t190.==(null) ?{dynamic} let final dynamic #t191 = self::getInt( ) in let final dynamic #t192 = super.[]=(#t189, #t191) in #t191 : #t190; 121 dynamic v4 = let final dynamic #t189 = "x" in let final dynamic #t190 = supe r.[](#t189) in #t190.==(null) ? let final dynamic #t191 = self::getInt() in let final dynamic #t192 = super.[]=(#t189, #t191) in #t191 : #t190;
122 dynamic v5 = let final dynamic #t193 = "x" in let final dynamic #t194 = supe r.[](#t193) in #t194.==(null) ?{dynamic} let final dynamic #t195 = self::getNum( ) in let final dynamic #t196 = super.[]=(#t193, #t195) in #t195 : #t194; 122 dynamic v5 = let final dynamic #t193 = "x" in let final dynamic #t194 = supe r.[](#t193) in #t194.==(null) ? let final dynamic #t195 = self::getNum() in let final dynamic #t196 = super.[]=(#t193, #t195) in #t195 : #t194;
123 dynamic v7 = let final dynamic #t197 = "x" in let final dynamic #t198 = supe r.[](#t197).+(self::getInt()) in let final dynamic #t199 = super.[]=(#t197, #t19 8) in #t198; 123 dynamic v7 = let final dynamic #t197 = "x" in let final dynamic #t198 = supe r.[](#t197).+(self::getInt()) in let final dynamic #t199 = super.[]=(#t197, #t19 8) in #t198;
124 dynamic v8 = let final dynamic #t200 = "x" in let final dynamic #t201 = supe r.[](#t200).+(self::getNum()) in let final dynamic #t202 = super.[]=(#t200, #t20 1) in #t201; 124 dynamic v8 = let final dynamic #t200 = "x" in let final dynamic #t201 = supe r.[](#t200).+(self::getNum()) in let final dynamic #t202 = super.[]=(#t200, #t20 1) in #t201;
125 dynamic v10 = let final dynamic #t203 = "x" in let final dynamic #t204 = sup er.[](#t203).+(1) in let final dynamic #t205 = super.[]=(#t203, #t204) in #t204; 125 dynamic v10 = let final dynamic #t203 = "x" in let final dynamic #t204 = sup er.[](#t203).+(1) in let final dynamic #t205 = super.[]=(#t203, #t204) in #t204;
126 dynamic v11 = let final dynamic #t206 = "x" in let final dynamic #t207 = sup er.[](#t206) in let final dynamic #t208 = super.[]=(#t206, #t207.+(1)) in #t207; 126 dynamic v11 = let final dynamic #t206 = "x" in let final dynamic #t207 = sup er.[](#t206) in let final dynamic #t208 = super.[]=(#t206, #t207.+(1)) in #t207;
127 } 127 }
128 } 128 }
129 abstract class Test8 extends self::Base<core::double, core::num> { 129 abstract class Test8 extends self::Base<core::double, core::num> {
130 constructor •() → void 130 constructor •() → void
131 : super self::Base::•() 131 : super self::Base::•()
132 ; 132 ;
133 method test() → void { 133 method test() → void {
134 dynamic v1 = let final dynamic #t209 = "x" in let final dynamic #t210 = self ::getInt() in let final dynamic #t211 = super.[]=(#t209, #t210) in #t210; 134 dynamic v1 = let final dynamic #t209 = "x" in let final dynamic #t210 = self ::getInt() in let final dynamic #t211 = super.[]=(#t209, #t210) in #t210;
135 dynamic v2 = let final dynamic #t212 = "x" in let final dynamic #t213 = self ::getNum() in let final dynamic #t214 = super.[]=(#t212, #t213) in #t213; 135 dynamic v2 = let final dynamic #t212 = "x" in let final dynamic #t213 = self ::getNum() in let final dynamic #t214 = super.[]=(#t212, #t213) in #t213;
136 dynamic v3 = let final dynamic #t215 = "x" in let final dynamic #t216 = self ::getDouble() in let final dynamic #t217 = super.[]=(#t215, #t216) in #t216; 136 dynamic v3 = let final dynamic #t215 = "x" in let final dynamic #t216 = self ::getDouble() in let final dynamic #t217 = super.[]=(#t215, #t216) in #t216;
137 dynamic v4 = let final dynamic #t218 = "x" in let final dynamic #t219 = supe r.[](#t218) in #t219.==(null) ?{dynamic} let final dynamic #t220 = self::getInt( ) in let final dynamic #t221 = super.[]=(#t218, #t220) in #t220 : #t219; 137 dynamic v4 = let final dynamic #t218 = "x" in let final dynamic #t219 = supe r.[](#t218) in #t219.==(null) ? let final dynamic #t220 = self::getInt() in let final dynamic #t221 = super.[]=(#t218, #t220) in #t220 : #t219;
138 dynamic v5 = let final dynamic #t222 = "x" in let final dynamic #t223 = supe r.[](#t222) in #t223.==(null) ?{dynamic} let final dynamic #t224 = self::getNum( ) in let final dynamic #t225 = super.[]=(#t222, #t224) in #t224 : #t223; 138 dynamic v5 = let final dynamic #t222 = "x" in let final dynamic #t223 = supe r.[](#t222) in #t223.==(null) ? let final dynamic #t224 = self::getNum() in let final dynamic #t225 = super.[]=(#t222, #t224) in #t224 : #t223;
139 dynamic v6 = let final dynamic #t226 = "x" in let final dynamic #t227 = supe r.[](#t226) in #t227.==(null) ?{dynamic} let final dynamic #t228 = self::getDoub le() in let final dynamic #t229 = super.[]=(#t226, #t228) in #t228 : #t227; 139 dynamic v6 = let final dynamic #t226 = "x" in let final dynamic #t227 = supe r.[](#t226) in #t227.==(null) ? let final dynamic #t228 = self::getDouble() in l et final dynamic #t229 = super.[]=(#t226, #t228) in #t228 : #t227;
140 dynamic v7 = let final dynamic #t230 = "x" in let final dynamic #t231 = supe r.[](#t230).+(self::getInt()) in let final dynamic #t232 = super.[]=(#t230, #t23 1) in #t231; 140 dynamic v7 = let final dynamic #t230 = "x" in let final dynamic #t231 = supe r.[](#t230).+(self::getInt()) in let final dynamic #t232 = super.[]=(#t230, #t23 1) in #t231;
141 dynamic v8 = let final dynamic #t233 = "x" in let final dynamic #t234 = supe r.[](#t233).+(self::getNum()) in let final dynamic #t235 = super.[]=(#t233, #t23 4) in #t234; 141 dynamic v8 = let final dynamic #t233 = "x" in let final dynamic #t234 = supe r.[](#t233).+(self::getNum()) in let final dynamic #t235 = super.[]=(#t233, #t23 4) in #t234;
142 dynamic v9 = let final dynamic #t236 = "x" in let final dynamic #t237 = supe r.[](#t236).+(self::getDouble()) in let final dynamic #t238 = super.[]=(#t236, # t237) in #t237; 142 dynamic v9 = let final dynamic #t236 = "x" in let final dynamic #t237 = supe r.[](#t236).+(self::getDouble()) in let final dynamic #t238 = super.[]=(#t236, # t237) in #t237;
143 dynamic v10 = let final dynamic #t239 = "x" in let final dynamic #t240 = sup er.[](#t239).+(1) in let final dynamic #t241 = super.[]=(#t239, #t240) in #t240; 143 dynamic v10 = let final dynamic #t239 = "x" in let final dynamic #t240 = sup er.[](#t239).+(1) in let final dynamic #t241 = super.[]=(#t239, #t240) in #t240;
144 dynamic v11 = let final dynamic #t242 = "x" in let final dynamic #t243 = sup er.[](#t242) in let final dynamic #t244 = super.[]=(#t242, #t243.+(1)) in #t243; 144 dynamic v11 = let final dynamic #t242 = "x" in let final dynamic #t243 = sup er.[](#t242) in let final dynamic #t244 = super.[]=(#t242, #t243.+(1)) in #t243;
145 } 145 }
146 } 146 }
147 abstract class Test9 extends self::Base<core::double, core::double> { 147 abstract class Test9 extends self::Base<core::double, core::double> {
148 constructor •() → void 148 constructor •() → void
149 : super self::Base::•() 149 : super self::Base::•()
150 ; 150 ;
151 method test() → void { 151 method test() → void {
152 dynamic v2 = let final dynamic #t245 = "x" in let final dynamic #t246 = self ::getNum() in let final dynamic #t247 = super.[]=(#t245, #t246) in #t246; 152 dynamic v2 = let final dynamic #t245 = "x" in let final dynamic #t246 = self ::getNum() in let final dynamic #t247 = super.[]=(#t245, #t246) in #t246;
153 dynamic v3 = let final dynamic #t248 = "x" in let final dynamic #t249 = self ::getDouble() in let final dynamic #t250 = super.[]=(#t248, #t249) in #t249; 153 dynamic v3 = let final dynamic #t248 = "x" in let final dynamic #t249 = self ::getDouble() in let final dynamic #t250 = super.[]=(#t248, #t249) in #t249;
154 dynamic v5 = let final dynamic #t251 = "x" in let final dynamic #t252 = supe r.[](#t251) in #t252.==(null) ?{dynamic} let final dynamic #t253 = self::getNum( ) in let final dynamic #t254 = super.[]=(#t251, #t253) in #t253 : #t252; 154 dynamic v5 = let final dynamic #t251 = "x" in let final dynamic #t252 = supe r.[](#t251) in #t252.==(null) ? let final dynamic #t253 = self::getNum() in let final dynamic #t254 = super.[]=(#t251, #t253) in #t253 : #t252;
155 dynamic v6 = let final dynamic #t255 = "x" in let final dynamic #t256 = supe r.[](#t255) in #t256.==(null) ?{dynamic} let final dynamic #t257 = self::getDoub le() in let final dynamic #t258 = super.[]=(#t255, #t257) in #t257 : #t256; 155 dynamic v6 = let final dynamic #t255 = "x" in let final dynamic #t256 = supe r.[](#t255) in #t256.==(null) ? let final dynamic #t257 = self::getDouble() in l et final dynamic #t258 = super.[]=(#t255, #t257) in #t257 : #t256;
156 dynamic v7 = let final dynamic #t259 = "x" in let final dynamic #t260 = supe r.[](#t259).+(self::getInt()) in let final dynamic #t261 = super.[]=(#t259, #t26 0) in #t260; 156 dynamic v7 = let final dynamic #t259 = "x" in let final dynamic #t260 = supe r.[](#t259).+(self::getInt()) in let final dynamic #t261 = super.[]=(#t259, #t26 0) in #t260;
157 dynamic v8 = let final dynamic #t262 = "x" in let final dynamic #t263 = supe r.[](#t262).+(self::getNum()) in let final dynamic #t264 = super.[]=(#t262, #t26 3) in #t263; 157 dynamic v8 = let final dynamic #t262 = "x" in let final dynamic #t263 = supe r.[](#t262).+(self::getNum()) in let final dynamic #t264 = super.[]=(#t262, #t26 3) in #t263;
158 dynamic v9 = let final dynamic #t265 = "x" in let final dynamic #t266 = supe r.[](#t265).+(self::getDouble()) in let final dynamic #t267 = super.[]=(#t265, # t266) in #t266; 158 dynamic v9 = let final dynamic #t265 = "x" in let final dynamic #t266 = supe r.[](#t265).+(self::getDouble()) in let final dynamic #t267 = super.[]=(#t265, # t266) in #t266;
159 dynamic v10 = let final dynamic #t268 = "x" in let final dynamic #t269 = sup er.[](#t268).+(1) in let final dynamic #t270 = super.[]=(#t268, #t269) in #t269; 159 dynamic v10 = let final dynamic #t268 = "x" in let final dynamic #t269 = sup er.[](#t268).+(1) in let final dynamic #t270 = super.[]=(#t268, #t269) in #t269;
160 dynamic v11 = let final dynamic #t271 = "x" in let final dynamic #t272 = sup er.[](#t271) in let final dynamic #t273 = super.[]=(#t271, #t272.+(1)) in #t272; 160 dynamic v11 = let final dynamic #t271 = "x" in let final dynamic #t272 = sup er.[](#t271) in let final dynamic #t273 = super.[]=(#t271, #t272.+(1)) in #t272;
161 } 161 }
162 } 162 }
163 static method getInt() → core::int 163 static method getInt() → core::int
164 return 0; 164 return 0;
165 static method getNum() → core::num 165 static method getNum() → core::num
166 return 0; 166 return 0;
167 static method getDouble() → core::double 167 static method getDouble() → core::double
168 return 0.0; 168 return 0.0;
169 static method main() → dynamic {} 169 static method main() → dynamic {}
OLDNEW
« no previous file with comments | « pkg/front_end/testcases/inference/infer_assign_to_index_super.dart.strong.expect ('k') | pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698