pkg/front_end/testcases/inference/infer_assign_to_index_super.dart.direct.expect - Issue 2959213002: Fix for missing interface targets when not in strong mode.

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_index_super.dart.direct.expect

Issue 2959213002: Fix for missing interface targets when not in strong mode. (Closed)

Patch Set: Update expectation files Created 3 years, 5 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:

« no previous file with comments | « pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart ('k') | pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.direct.expect » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

OLD	NEW
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 25 matching lines...) Expand all Loading...
36 ;	36 ;

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::Base::[]=}(self::f<dynamic>(), self::f<dynamic>());

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;	47 let final dynamic #t1 = self::f<dynamic>() in super.{self::Base::[]}(#t1).== (null) ? let final dynamic #t2 = self::f<dynamic>() in let final dynamic #t3 = s uper.{self::Base::[]=}(#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.{self::Base::[]=}(#t4, s uper.{self::Base::[]}(#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.{self::Base::[]=}(#t5, s uper.{self::Base::[]}(#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.{self::Base::[]=}(#t6, s uper.{self::Base::[]}(#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. {self::Base::[]}(#t7).-(1) in let final dynamic #t9 = super.{self::Base::[]=}(#t 7, #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.{self::Base::[]=}(#t10, super.{self::Base::[]}(#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.{self::Base::[]=}( #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) ? let final dynamic #t16 = self::f<dyna mic>() 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.{self::Base::[]}(#t14) in #t15.==(null) ? let final dynamic #t16 = self::f<dynamic>() in let final dynamic #t17 = super.{self::Base::[]=}(#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.{self::Base::[]}(#t18).+(self::f<dynamic>()) in let final dynamic #t20 = super.{self::Base::[]=}(#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.{self::Base::[]}(#t21).*(self::f<dynamic>()) in let final dynamic #t23 = super.{self::Base::[]=}(#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.{self::Base::[]}(#t24).&(self::f<dynamic>()) in let final dynamic #t26 = super.{self::Base::[]=}(#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.{self::Base::[]}(#t27).-(1) in let final dynamic #t29 = super.{se lf::Base::[]=}(#t27, #t28) in #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.{self::Base::[]}(#t30) in let final dynamic #t32 = super.{self::B ase::[]=}(#t30, #t31.-(1)) in #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 {}

OLD	NEW