pkg/front_end/testcases/inference/infer_assign_to_static.dart.direct.expect - Issue 2949753002: Print static types of conditional expressions.

Unified Diff: pkg/front_end/testcases/inference/infer_assign_to_static.dart.direct.expect

Issue 2949753002: Print static types of conditional expressions. (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

« no previous file with comments | « pkg/front_end/testcases/inference/infer_assign_to_property_upwards.dart.strong.expect ('k') | pkg/front_end/testcases/inference/infer_assign_to_static.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_static.dart.direct.expect

diff --git a/pkg/front_end/testcases/inference/infer_assign_to_static.dart.direct.expect b/pkg/front_end/testcases/inference/infer_assign_to_static.dart.direct.expect

index 2112fa6f2def646e3f50360e3ab7b391be922450..4f3a4a13222b224bf7a7e5bde7bafec13d0a16b8 100644

--- a/pkg/front_end/testcases/inference/infer_assign_to_static.dart.direct.expect

+++ b/pkg/front_end/testcases/inference/infer_assign_to_static.dart.direct.expect

@@ -31,14 +31,14 @@ static method f<T extends core::Object>() → self::f::T

return null;

static method test_topLevelVariable() → void {

self::topLevelVariable = self::f<dynamic>();

- self::topLevelVariable.==(null) ? self::topLevelVariable = self::f<dynamic>() : null;

+ self::topLevelVariable.==(null) ?{dynamic} self::topLevelVariable = self::f<dynamic>() : null;

self::topLevelVariable = self::topLevelVariable.+(self::f<dynamic>());

self::topLevelVariable = self::topLevelVariable.*(self::f<dynamic>());

self::topLevelVariable = self::topLevelVariable.&(self::f<dynamic>());

self::topLevelVariable = self::topLevelVariable.-(1);

dynamic v1 = self::topLevelVariable = self::f<dynamic>();

- dynamic v2 = let final dynamic #t1 = self::topLevelVariable in #t1.==(null) ? self::topLevelVariable = self::f<dynamic>() : #t1;

+ dynamic v2 = let final dynamic #t1 = self::topLevelVariable in #t1.==(null) ?{dynamic} self::topLevelVariable = self::f<dynamic>() : #t1;

dynamic v3 = self::topLevelVariable = self::topLevelVariable.+(self::f<dynamic>());

dynamic v4 = self::topLevelVariable = self::topLevelVariable.*(self::f<dynamic>());

dynamic v5 = self::topLevelVariable = self::topLevelVariable.&(self::f<dynamic>());

@@ -47,14 +47,14 @@ static method test_topLevelVariable() → void {

}

static method test_staticVariable() → void {

self::B::staticVariable = self::f<dynamic>();

- self::B::staticVariable.==(null) ? self::B::staticVariable = self::f<dynamic>() : null;

+ self::B::staticVariable.==(null) ?{dynamic} self::B::staticVariable = self::f<dynamic>() : null;

self::B::staticVariable = self::B::staticVariable.+(self::f<dynamic>());

self::B::staticVariable = self::B::staticVariable.*(self::f<dynamic>());

self::B::staticVariable = self::B::staticVariable.&(self::f<dynamic>());

self::B::staticVariable = self::B::staticVariable.-(1);

dynamic v1 = self::B::staticVariable = self::f<dynamic>();

- dynamic v2 = let final dynamic #t4 = self::B::staticVariable in #t4.==(null) ? self::B::staticVariable = self::f<dynamic>() : #t4;

+ dynamic v2 = let final dynamic #t4 = self::B::staticVariable in #t4.==(null) ?{dynamic} self::B::staticVariable = self::f<dynamic>() : #t4;

dynamic v3 = self::B::staticVariable = self::B::staticVariable.+(self::f<dynamic>());

dynamic v4 = self::B::staticVariable = self::B::staticVariable.*(self::f<dynamic>());

dynamic v5 = self::B::staticVariable = self::B::staticVariable.&(self::f<dynamic>());