pkg/front_end/testcases/inference/infer_assign_to_implicit_this_upwards.dart.strong.expect - Issue 2931363003: Add type inference for assignments to properties.

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_implicit_this_upwards.dart.strong.expect

Issue 2931363003: Add type inference for assignments to properties. (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:

« pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart ('K') | « pkg/front_end/testcases/inference/infer_assign_to_implicit_this_upwards.dart.outline.expect ('k') | pkg/front_end/testcases/inference/infer_assign_to_property.dart.strong.expect » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

OLD	NEW
(Empty)
	1 library test;

	2 import self as self;

	3 import "dart:core" as core;

	4

	5 class Test1 extends core::Object {

	6 field core::int t = null;

	7 constructor •() → void

	8 : super core::Object::•()

	9 ;

	10 method test() → void {

	11 core::int v1 = this.{self::Test1::t} = self::getInt();

	12 core::num v2 = this.{self::Test1::t} = self::getNum();

	13 core::int v4 = let final dynamic #t1 = this.{self::Test1::t} in #t1.{core::n um::==}(null) ? this.{self::Test1::t} = self::getInt() : #t1;

	14 core::num v5 = let final dynamic #t2 = this.{self::Test1::t} in #t2.{core::n um::==}(null) ? this.{self::Test1::t} = self::getNum() : #t2;

	15 core::int v7 = this.{self::Test1::t} = this.{self::Test1::t}.{core::num::+}( self::getInt());

	16 core::num v8 = this.{self::Test1::t} = this.{self::Test1::t}.{core::num::+}( self::getNum());

	17 core::int v10 = this.{self::Test1::t} = this.{self::Test1::t}.{core::num::+} (1);

	18 core::int v11 = let final dynamic #t3 = this.{self::Test1::t} in let final d ynamic #t4 = this.{self::Test1::t} = #t3.{core::num::+}(1) in #t3;

	19 }

	20 }

	21 class Test2 extends core::Object {

	22 field core::num t = null;

	23 constructor •() → void

	24 : super core::Object::•()

	25 ;

	26 method test() → void {

	27 core::int v1 = this.{self::Test2::t} = self::getInt();

	28 core::num v2 = this.{self::Test2::t} = self::getNum();

	29 core::double v3 = this.{self::Test2::t} = self::getDouble();

	30 core::num v4 = let final dynamic #t5 = this.{self::Test2::t} in #t5.{core::n um::==}(null) ? this.{self::Test2::t} = self::getInt() : #t5;

	31 core::num v5 = let final dynamic #t6 = this.{self::Test2::t} in #t6.{core::n um::==}(null) ? this.{self::Test2::t} = self::getNum() : #t6;

	32 core::num v6 = let final dynamic #t7 = this.{self::Test2::t} in #t7.{core::n um::==}(null) ? this.{self::Test2::t} = self::getDouble() : #t7;

	33 core::num v7 = this.{self::Test2::t} = this.{self::Test2::t}.{core::num::+}( self::getInt());

	34 core::num v8 = this.{self::Test2::t} = this.{self::Test2::t}.{core::num::+}( self::getNum());

	35 core::num v9 = this.{self::Test2::t} = this.{self::Test2::t}.{core::num::+}( self::getDouble());

	36 core::num v10 = this.{self::Test2::t} = this.{self::Test2::t}.{core::num::+} (1);

	37 core::num v11 = let final dynamic #t8 = this.{self::Test2::t} in let final d ynamic #t9 = this.{self::Test2::t} = #t8.{core::num::+}(1) in #t8;

	38 }

	39 }

	40 class Test3 extends core::Object {

	41 field core::double t = null;

	42 constructor •() → void

	43 : super core::Object::•()

	44 ;

	45 method test3() → void {

	46 core::num v2 = this.{self::Test3::t} = self::getNum();

	47 core::double v3 = this.{self::Test3::t} = self::getDouble();

	48 core::num v5 = let final dynamic #t10 = this.{self::Test3::t} in #t10.{core: :num::==}(null) ? this.{self::Test3::t} = self::getNum() : #t10;

	49 core::double v6 = let final dynamic #t11 = this.{self::Test3::t} in #t11.{co re::num::==}(null) ? this.{self::Test3::t} = self::getDouble() : #t11;

	50 core::double v7 = this.{self::Test3::t} = this.{self::Test3::t}.{core::doubl e::+}(self::getInt());

	51 core::double v8 = this.{self::Test3::t} = this.{self::Test3::t}.{core::doubl e::+}(self::getNum());

	52 core::double v9 = this.{self::Test3::t} = this.{self::Test3::t}.{core::doubl e::+}(self::getDouble());

	53 core::double v10 = this.{self::Test3::t} = this.{self::Test3::t}.{core::doub le::+}(1);

	54 core::double v11 = let final dynamic #t12 = this.{self::Test3::t} in let fin al dynamic #t13 = this.{self::Test3::t} = #t12.{core::double::+}(1) in #t12;

	55 }

	56 }

	57 static method getInt() → core::int

	58 return 0;

	59 static method getNum() → core::num

	60 return 0;

	61 static method getDouble() → core::double

	62 return 0.0;

	63 static method main() → dynamic {}

OLD	NEW