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

Unified Diff: pkg/front_end/testcases/inference/infer_assign_to_property.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:

View side-by-side diff with in-line comments

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

Index: pkg/front_end/testcases/inference/infer_assign_to_property.dart.strong.expect

diff --git a/pkg/front_end/testcases/inference/infer_assign_to_property.dart.strong.expect b/pkg/front_end/testcases/inference/infer_assign_to_property.dart.strong.expect

index 49cb344f44ee843a76773a139a896f9619564683..b238ae82daa4e9d05e68a10017015a8012466da0 100644

--- a/pkg/front_end/testcases/inference/infer_assign_to_property.dart.strong.expect

+++ b/pkg/front_end/testcases/inference/infer_assign_to_property.dart.strong.expect

@@ -8,12 +8,12 @@ class A extends core::Object {

: super core::Object::•()

;

}

-static field dynamic v_assign = new self::A::•().f = 1;

-static field dynamic v_plus = let final dynamic #t1 = new self::A::•() in #t1.f = #t1.f.+(1);

-static field dynamic v_minus = let final dynamic #t2 = new self::A::•() in #t2.f = #t2.f.-(1);

-static field dynamic v_multiply = let final dynamic #t3 = new self::A::•() in #t3.f = #t3.f.*(1);

-static field dynamic v_prefix_pp = let final dynamic #t4 = new self::A::•() in #t4.f = #t4.f.+(1);

-static field dynamic v_prefix_mm = let final dynamic #t5 = new self::A::•() in #t5.f = #t5.f.-(1);

-static field dynamic v_postfix_pp = let final dynamic #t6 = new self::A::•() in let final dynamic #t7 = #t6.f in let final dynamic #t8 = #t6.f = #t7.+(1) in #t7;

-static field dynamic v_postfix_mm = let final dynamic #t9 = new self::A::•() in let final dynamic #t10 = #t9.f in let final dynamic #t11 = #t9.f = #t10.-(1) in #t10;

+static field dynamic v_assign = new self::A::•().{self::A::f} = 1;

+static field dynamic v_plus = let final dynamic #t1 = new self::A::•() in #t1.{self::A::f} = #t1.{self::A::f}.{core::num::+}(1);

+static field dynamic v_minus = let final dynamic #t2 = new self::A::•() in #t2.{self::A::f} = #t2.{self::A::f}.{core::num::-}(1);

+static field dynamic v_multiply = let final dynamic #t3 = new self::A::•() in #t3.{self::A::f} = #t3.{self::A::f}.{core::num::*}(1);

+static field dynamic v_prefix_pp = let final dynamic #t4 = new self::A::•() in #t4.{self::A::f} = #t4.{self::A::f}.{core::num::+}(1);

+static field dynamic v_prefix_mm = let final dynamic #t5 = new self::A::•() in #t5.{self::A::f} = #t5.{self::A::f}.{core::num::-}(1);

+static field dynamic v_postfix_pp = let final dynamic #t6 = new self::A::•() in let final dynamic #t7 = #t6.{self::A::f} in let final dynamic #t8 = #t6.{self::A::f} = #t7.{core::num::+}(1) in #t7;

+static field dynamic v_postfix_mm = let final dynamic #t9 = new self::A::•() in let final dynamic #t10 = #t9.{self::A::f} in let final dynamic #t11 = #t9.{self::A::f} = #t10.{core::num::-}(1) in #t10;

static method main() → dynamic {}