pkg/kernel/testcases/reify/subclass_test.dart.expect - Issue 2713163002: Pass type arguments as a list in generic methods invocations

Side by Side Diff: pkg/kernel/testcases/reify/subclass_test.dart.expect

Issue 2713163002: Pass type arguments as a list in generic methods invocations (Closed)

Patch Set: Adjust reification in accordance to changes in master Created 3 years, 9 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/kernel/lib/transformations/reify/transformation/transformer.dart ('K') | « pkg/kernel/testcases/reify/simple_test.dart.expect ('k') | pkg/kernel/testcases/reify/super1_test.dart.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 superclass_test;	1 library superclass_test;

2 import self as self;	2 import self as self;

3 import "dart:core" as core;	3 import "dart:core" as core;

4 import "../../runtime/reify/interceptors.dart" as int;	4 import "../../runtime/reify/interceptors.dart" as int;

5 import "../../runtime/reify/types.dart" as typ;	5 import "../../runtime/reify/types.dart" as typ;

6 import "./test_base.dart" as tes;	6 import "./test_base.dart" as tes;

7 import "../../runtime/reify/declarations.dart" as dec;	7 import "../../runtime/reify/declarations.dart" as dec;

8	8

9 class X extends core::Object implements int::HasRuntimeTypeGetter {	9 class X extends core::Object implements int::HasRuntimeTypeGetter {

10 constructor •() → void	10 constructor •() → void

(...skipping 90 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
101 dec::init(d, 19, new typ::Interface::•(d.[](25)));	101 dec::init(d, 19, new typ::Interface::•(d.[](25)));

102 dec::init(d, 20, null);	102 dec::init(d, 20, null);

103 dec::init(d, 22, new typ::Interface::•(d.[](20)));	103 dec::init(d, 22, new typ::Interface::•(d.[](20)));

104 dec::init(d, 23, new typ::Interface::•(d.[](20)));	104 dec::init(d, 23, new typ::Interface::•(d.[](20)));

105 dec::init(d, 24, new typ::Interface::•(d.[](20)), <dynamic>[new typ::Interface ::•(d.[](22), <dynamic>[new typ::Interface::•(d.[](24))])]);	105 dec::init(d, 24, new typ::Interface::•(d.[](20)), <dynamic>[new typ::Interface ::•(d.[](22), <dynamic>[new typ::Interface::•(d.[](24))])]);

106 dec::init(d, 25, new typ::Interface::•(d.[](20)));	106 dec::init(d, 25, new typ::Interface::•(d.[](20)));

107 dec::init(d, 26, new typ::Interface::•(d.[](20)));	107 dec::init(d, 26, new typ::Interface::•(d.[](20)));

108 return d;	108 return d;

109 }.call(dec::allocateDeclarations(<dynamic>["X", "Y", "R", "A", "B", "C", "D", "N ull", "bool", "String", "int", "double", "Type", "AbstractClassInstantiationErro r", "NoSuchMethodError", "CyclicInitializationError", "UnsupportedError", "Integ erDivisionByZeroException", "RangeError", "ArgumentError", "Object", "HasRuntime TypeGetter", "Comparable", "Pattern", "num", "Error", "Exception"], <dynamic>[0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0])) ;	109 }.call(dec::allocateDeclarations(<dynamic>["X", "Y", "R", "A", "B", "C", "D", "N ull", "bool", "String", "int", "double", "Type", "AbstractClassInstantiationErro r", "NoSuchMethodError", "CyclicInitializationError", "UnsupportedError", "Integ erDivisionByZeroException", "RangeError", "ArgumentError", "Object", "HasRuntime TypeGetter", "Comparable", "Pattern", "num", "Error", "Exception"], <dynamic>[0, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0])) ;

110 static method main() → dynamic {	110 static method main() → dynamic {

111 tes::expectTrue(let dynamic #t1 = new self::A::•(new typ::Interface::•(self::$ declarations.[](3), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).foo() in #t1 is int::HasRuntimeTypeGetter && #t1.$is$R && (let dynamic #t2 = n ew typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interface::•( self::$declarations.[](0))]) in typ::isSubtypeOf(#t1.$type, #t2)));	111 tes::expectTrue(let dynamic #t1 = new self::A::•(new typ::Interface::•(self::$ declarations.[](3), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).{self::A::foo}() in #t1 is int::HasRuntimeTypeGetter && #t1.$is$R && (let dyna mic #t2 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::In terface::•(self::$declarations.[](0))]) in typ::isSubtypeOf(#t1.$type, #t2)));

112 tes::expectTrue(let dynamic #t3 = new self::B::•(new typ::Interface::•(self::$ declarations.[](4), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).foo() in #t3 is int::HasRuntimeTypeGetter && #t3.$is$R && (let dynamic #t4 = n ew typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interface::•( self::$declarations.[](0))]) in typ::isSubtypeOf(#t3.$type, #t4)));	112 tes::expectTrue(let dynamic #t3 = new self::B::•(new typ::Interface::•(self::$ declarations.[](4), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).{self::A::foo}() in #t3 is int::HasRuntimeTypeGetter && #t3.$is$R && (let dyna mic #t4 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::In terface::•(self::$declarations.[](0))]) in typ::isSubtypeOf(#t3.$type, #t4)));

113 tes::expectTrue(let dynamic #t5 = new self::C::•(new typ::Interface::•(self::$ declarations.[](5), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).foo() in #t5 is int::HasRuntimeTypeGetter && #t5.$is$R && (let dynamic #t6 = n ew typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interface::•( self::$declarations.[](1))]) in typ::isSubtypeOf(#t5.$type, #t6)));	113 tes::expectTrue(let dynamic #t5 = new self::C::•(new typ::Interface::•(self::$ declarations.[](5), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).{self::A::foo}() in #t5 is int::HasRuntimeTypeGetter && #t5.$is$R && (let dyna mic #t6 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::In terface::•(self::$declarations.[](1))]) in typ::isSubtypeOf(#t5.$type, #t6)));

114 tes::expectTrue(let dynamic #t7 = new self::D::•(new typ::Interface::•(self::$ declarations.[](6), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).foo() in #t7 is int::HasRuntimeTypeGetter && #t7.$is$R && (let dynamic #t8 = n ew typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interface::•( self::$declarations.[](2), <dynamic>[new typ::Interface::•(self::$declarations.[ ](0))])]) in typ::isSubtypeOf(#t7.$type, #t8)));	114 tes::expectTrue(let dynamic #t7 = new self::D::•(new typ::Interface::•(self::$ declarations.[](6), <dynamic>[new typ::Interface::•(self::$declarations.[](0))]) ).{self::A::foo}() in #t7 is int::HasRuntimeTypeGetter && #t7.$is$R && (let dyna mic #t8 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::In terface::•(self::$declarations.[](2), <dynamic>[new typ::Interface::•(self::$dec larations.[](0))])]) in typ::isSubtypeOf(#t7.$type, #t8)));

115 tes::expectTrue(!(let dynamic #t9 = new self::A::•(new typ::Interface::•(self: :$declarations.[](3), <dynamic>[new typ::Interface::•(self::$declarations.[](0)) ])).foo() in #t9 is int::HasRuntimeTypeGetter && #t9.$is$R && (let dynamic #t10 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interface: :•(self::$declarations.[](1))]) in typ::isSubtypeOf(#t9.$type, #t10))));	115 tes::expectTrue(!(let dynamic #t9 = new self::A::•(new typ::Interface::•(self: :$declarations.[](3), <dynamic>[new typ::Interface::•(self::$declarations.[](0)) ])).{self::A::foo}() in #t9 is int::HasRuntimeTypeGetter && #t9.$is$R && (let dy namic #t10 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ: :Interface::•(self::$declarations.[](1))]) in typ::isSubtypeOf(#t9.$type, #t10)) ));

116 tes::expectTrue(!(let dynamic #t11 = new self::B::•(new typ::Interface::•(self ::$declarations.[](4), <dynamic>[new typ::Interface::•(self::$declarations.[](0) )])).foo() in #t11 is int::HasRuntimeTypeGetter && #t11.$is$R && (let dynamic #t 12 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interfa ce::•(self::$declarations.[](1))]) in typ::isSubtypeOf(#t11.$type, #t12))));	116 tes::expectTrue(!(let dynamic #t11 = new self::B::•(new typ::Interface::•(self ::$declarations.[](4), <dynamic>[new typ::Interface::•(self::$declarations.[](0) )])).{self::A::foo}() in #t11 is int::HasRuntimeTypeGetter && #t11.$is$R && (let dynamic #t12 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new t yp::Interface::•(self::$declarations.[](1))]) in typ::isSubtypeOf(#t11.$type, #t 12))));

117 tes::expectTrue(!(let dynamic #t13 = new self::C::•(new typ::Interface::•(self ::$declarations.[](5), <dynamic>[new typ::Interface::•(self::$declarations.[](0) )])).foo() in #t13 is int::HasRuntimeTypeGetter && #t13.$is$R && (let dynamic #t 14 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interfa ce::•(self::$declarations.[](0))]) in typ::isSubtypeOf(#t13.$type, #t14))));	117 tes::expectTrue(!(let dynamic #t13 = new self::C::•(new typ::Interface::•(self ::$declarations.[](5), <dynamic>[new typ::Interface::•(self::$declarations.[](0) )])).{self::A::foo}() in #t13 is int::HasRuntimeTypeGetter && #t13.$is$R && (let dynamic #t14 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new t yp::Interface::•(self::$declarations.[](0))]) in typ::isSubtypeOf(#t13.$type, #t 14))));

118 tes::expectTrue(!(let dynamic #t15 = new self::D::•(new typ::Interface::•(self ::$declarations.[](6), <dynamic>[new typ::Interface::•(self::$declarations.[](0) )])).foo() in #t15 is int::HasRuntimeTypeGetter && #t15.$is$R && (let dynamic #t 16 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interfa ce::•(self::$declarations.[](2), <dynamic>[new typ::Interface::•(self::$declarat ions.[](1))])]) in typ::isSubtypeOf(#t15.$type, #t16))));	118 tes::expectTrue(!(let dynamic #t15 = new self::D::•(new typ::Interface::•(self ::$declarations.[](6), <dynamic>[new typ::Interface::•(self::$declarations.[](0) )])).{self::A::foo}() in #t15 is int::HasRuntimeTypeGetter && #t15.$is$R && (let dynamic #t16 = new typ::Interface::•(self::$declarations.[](2), <dynamic>[new t yp::Interface::•(self::$declarations.[](2), <dynamic>[new typ::Interface::•(self ::$declarations.[](1))])]) in typ::isSubtypeOf(#t15.$type, #t16))));

119 }	119 }

OLD	NEW