languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 02:07:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

[cfe] Update precedence for instantiation and constant nodes in ast-to-text

Browse source 
TEST=existing

Change-Id: I6269aaef293765e68e5f119184f0d24f40da9aec
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/212821
Commit-Queue: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>
This commit is contained in:
Johnni Winther 2021-09-10 12:10:27 +00:00 committed by commit-bot@chromium.org
parent 48d8225b17
commit a4a1f2c0d5
240 changed files with 1007 additions and 1007 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkg/front_end/testcases/const_functions/const_functions_const_ctor.dart.strong.expect
View file

@ -9,7 +9,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1));
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1);
}
}
class A extends core::Object /*hasConstConstructor*/ {
@ -25,7 +25,7 @@ static const field self::A var3 = #C3;
static method fn() → self::A
return new self::A::•();
static method main() → void {
exp::Expect::equals((#C2).{self::Simple::name}{core::String}, #C1);
exp::Expect::equals(#C2.{self::Simple::name}{core::String}, #C1);
}
constants {

4
pkg/front_end/testcases/const_functions/const_functions_const_ctor.dart.strong.transformed.expect
View file

@ -9,7 +9,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1));
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1);
}
}
class A extends core::Object /*hasConstConstructor*/ {
@ -25,7 +25,7 @@ static const field self::A var3 = #C3;
static method fn() → self::A
return new self::A::•();
static method main() → void {
exp::Expect::equals((#C2).{self::Simple::name}{core::String}, #C1);
exp::Expect::equals(#C2.{self::Simple::name}{core::String}, #C1);
}
constants {

4
pkg/front_end/testcases/const_functions/const_functions_const_ctor.dart.weak.expect
View file

@ -9,7 +9,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1));
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1);
}
}
class A extends core::Object /*hasConstConstructor*/ {
@ -25,7 +25,7 @@ static const field self::A var3 = #C3;
static method fn() → self::A
return new self::A::•();
static method main() → void {
exp::Expect::equals((#C2).{self::Simple::name}{core::String}, #C1);
exp::Expect::equals(#C2.{self::Simple::name}{core::String}, #C1);
}
constants {

4
pkg/front_end/testcases/const_functions/const_functions_const_ctor.dart.weak.transformed.expect
View file

@ -9,7 +9,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1));
assert(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1);
}
}
class A extends core::Object /*hasConstConstructor*/ {
@ -25,7 +25,7 @@ static const field self::A var3 = #C3;
static method fn() → self::A
return new self::A::•();
static method main() → void {
exp::Expect::equals((#C2).{self::Simple::name}{core::String}, #C1);
exp::Expect::equals(#C2.{self::Simple::name}{core::String}, #C1);
}
constants {

2
pkg/front_end/testcases/const_functions/const_functions_const_ctor_error.dart.strong.expect
View file

@ -41,7 +41,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1)));
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1));
}
}
class Simple2 extends core::Object /*hasConstConstructor*/ {

2
pkg/front_end/testcases/const_functions/const_functions_const_ctor_error.dart.strong.transformed.expect
View file

@ -41,7 +41,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1)));
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1));
}
}
class Simple2 extends core::Object /*hasConstConstructor*/ {

2
pkg/front_end/testcases/const_functions/const_functions_const_ctor_error.dart.weak.expect
View file

@ -41,7 +41,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1)));
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1));
}
}
class Simple2 extends core::Object /*hasConstConstructor*/ {

2
pkg/front_end/testcases/const_functions/const_functions_const_ctor_error.dart.weak.transformed.expect
View file

@ -41,7 +41,7 @@ class Simple extends core::Object /*hasConstConstructor*/ {
final field core::String name;
const constructor •(core::String name) → self::Simple
: self::Simple::name = name, super core::Object::•() {
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} (#C1)));
assert(!(this.{self::Simple::name}{core::String} =={core::String::==}{(core::Object) → core::bool} #C1));
}
}
class Simple2 extends core::Object /*hasConstConstructor*/ {

2
pkg/front_end/testcases/const_functions/const_functions_if_statements.dart.strong.expect
View file

@ -29,7 +29,7 @@ static method ifTest(core::int a) → core::int {
}
}
static method ifTest2(core::int a) → core::int {
if(a =={core::num::==}{(core::Object) → core::bool} (#C4)) {
if(a =={core::num::==}{(core::Object) → core::bool} #C4) {
return 100;
}
else {

2
pkg/front_end/testcases/const_functions/const_functions_if_statements.dart.strong.transformed.expect
View file

@ -29,7 +29,7 @@ static method ifTest(core::int a) → core::int {
}
}
static method ifTest2(core::int a) → core::int {
if(a =={core::num::==}{(core::Object) → core::bool} (#C4)) {
if(a =={core::num::==}{(core::Object) → core::bool} #C4) {
return 100;
}
else {

2
pkg/front_end/testcases/const_functions/const_functions_if_statements.dart.weak.expect
View file

@ -29,7 +29,7 @@ static method ifTest(core::int a) → core::int {
}
}
static method ifTest2(core::int a) → core::int {
if(a =={core::num::==}{(core::Object) → core::bool} (#C4)) {
if(a =={core::num::==}{(core::Object) → core::bool} #C4) {
return 100;
}
else {

2
pkg/front_end/testcases/const_functions/const_functions_if_statements.dart.weak.transformed.expect
View file

@ -29,7 +29,7 @@ static method ifTest(core::int a) → core::int {
}
}
static method ifTest2(core::int a) → core::int {
if(a =={core::num::==}{(core::Object) → core::bool} (#C4)) {
if(a =={core::num::==}{(core::Object) → core::bool} #C4) {
return 100;
}
else {

6
pkg/front_end/testcases/const_functions/const_functions_instance_fields.dart.strong.expect
View file

@ -29,15 +29,15 @@ static const field core::int var3 = #C2;
static const field core::int var4 = #C2;
static const field core::int var5 = #C3;
static method fn() → core::int
return (#C4).{self::A::y}{core::int};
return #C4.{self::A::y}{core::int};
static method fn2() → core::int {
self::A x = #C4;
return x.{self::A::y}{core::int};
}
static method fn4() → core::int
return (#C5).{self::A::y}{core::int};
return #C5.{self::A::y}{core::int};
static method fn5() → core::int
return (#C7).{self::C::y}{core::int};
return #C7.{self::C::y}{core::int};
static method main() → void {
exp::Expect::equals(#C2, 1);
exp::Expect::equals(#C2, 1);

6
pkg/front_end/testcases/const_functions/const_functions_instance_fields.dart.strong.transformed.expect
View file

@ -29,15 +29,15 @@ static const field core::int var3 = #C2;
static const field core::int var4 = #C2;
static const field core::int var5 = #C3;
static method fn() → core::int
return (#C4).{self::A::y}{core::int};
return #C4.{self::A::y}{core::int};
static method fn2() → core::int {
self::A x = #C4;
return x.{self::A::y}{core::int};
}
static method fn4() → core::int
return (#C5).{self::A::y}{core::int};
return #C5.{self::A::y}{core::int};
static method fn5() → core::int
return (#C7).{self::C::y}{core::int};
return #C7.{self::C::y}{core::int};
static method main() → void {
exp::Expect::equals(#C2, 1);
exp::Expect::equals(#C2, 1);

6
pkg/front_end/testcases/const_functions/const_functions_instance_fields.dart.weak.expect
View file

@ -29,15 +29,15 @@ static const field core::int var3 = #C2;
static const field core::int var4 = #C2;
static const field core::int var5 = #C3;
static method fn() → core::int
return (#C4).{self::A::y}{core::int};
return #C4.{self::A::y}{core::int};
static method fn2() → core::int {
self::A x = #C4;
return x.{self::A::y}{core::int};
}
static method fn4() → core::int
return (#C5).{self::A::y}{core::int};
return #C5.{self::A::y}{core::int};
static method fn5() → core::int
return (#C7).{self::C::y}{core::int};
return #C7.{self::C::y}{core::int};
static method main() → void {
exp::Expect::equals(#C2, 1);
exp::Expect::equals(#C2, 1);

6
pkg/front_end/testcases/const_functions/const_functions_instance_fields.dart.weak.transformed.expect
View file

@ -29,15 +29,15 @@ static const field core::int var3 = #C2;
static const field core::int var4 = #C2;
static const field core::int var5 = #C3;
static method fn() → core::int
return (#C4).{self::A::y}{core::int};
return #C4.{self::A::y}{core::int};
static method fn2() → core::int {
self::A x = #C4;
return x.{self::A::y}{core::int};
}
static method fn4() → core::int
return (#C5).{self::A::y}{core::int};
return #C5.{self::A::y}{core::int};
static method fn5() → core::int
return (#C7).{self::C::y}{core::int};
return #C7.{self::C::y}{core::int};
static method main() → void {
exp::Expect::equals(#C2, 1);
exp::Expect::equals(#C2, 1);

24
pkg/front_end/testcases/const_functions/const_functions_instance_methods.dart.strong.expect
View file

@ -71,26 +71,26 @@ static const field core::String fnVal5 = #C7;
static const field core::String var8 = #C7;
static const field core::String fnVal6 = #C7;
static method fn() → core::String
return (#C8).{core::Object::toString}(){() → core::String};
return #C8.{core::Object::toString}(){() → core::String};
static method fn2() → core::String
return (#C9).{self::B::toString}(){() → core::String};
return #C9.{self::B::toString}(){() → core::String};
static method fn3() → core::int
return (#C11).{self::C::fn}(){() → core::int};
return #C11.{self::C::fn}(){() → core::int};
static method fn4() → core::int
return (#C13).{self::C::fn}(){() → core::int};
return #C13.{self::C::fn}(){() → core::int};
static method fn5() → core::int
return (#C14).{self::D::fn}(){() → core::int};
return #C14.{self::D::fn}(){() → core::int};
static method fn6() → core::int
return (#C15).{self::C::fn}(){() → core::int};
return #C15.{self::C::fn}(){() → core::int};
static method fn7() → core::String
return (#C16).{self::F::fn}("string"){(core::String) → core::String};
return #C16.{self::F::fn}("string"){(core::String) → core::String};
static method fn8() → core::String
return (#C17).{self::F::fn}("string"){(core::String) → core::String};
return #C17.{self::F::fn}("string"){(core::String) → core::String};
static method main() → void {
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C4, 200);
exp::Expect::equals(#C5, 100);
exp::Expect::equals(#C4, 200);

24
pkg/front_end/testcases/const_functions/const_functions_instance_methods.dart.strong.transformed.expect
View file

@ -71,26 +71,26 @@ static const field core::String fnVal5 = #C7;
static const field core::String var8 = #C7;
static const field core::String fnVal6 = #C7;
static method fn() → core::String
return (#C8).{core::Object::toString}(){() → core::String};
return #C8.{core::Object::toString}(){() → core::String};
static method fn2() → core::String
return (#C9).{self::B::toString}(){() → core::String};
return #C9.{self::B::toString}(){() → core::String};
static method fn3() → core::int
return (#C11).{self::C::fn}(){() → core::int};
return #C11.{self::C::fn}(){() → core::int};
static method fn4() → core::int
return (#C13).{self::C::fn}(){() → core::int};
return #C13.{self::C::fn}(){() → core::int};
static method fn5() → core::int
return (#C14).{self::D::fn}(){() → core::int};
return #C14.{self::D::fn}(){() → core::int};
static method fn6() → core::int
return (#C15).{self::C::fn}(){() → core::int};
return #C15.{self::C::fn}(){() → core::int};
static method fn7() → core::String
return (#C16).{self::F::fn}("string"){(core::String) → core::String};
return #C16.{self::F::fn}("string"){(core::String) → core::String};
static method fn8() → core::String
return (#C17).{self::F::fn}("string"){(core::String) → core::String};
return #C17.{self::F::fn}("string"){(core::String) → core::String};
static method main() → void {
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C4, 200);
exp::Expect::equals(#C5, 100);
exp::Expect::equals(#C4, 200);

24
pkg/front_end/testcases/const_functions/const_functions_instance_methods.dart.weak.expect
View file

@ -71,26 +71,26 @@ static const field core::String fnVal5 = #C7;
static const field core::String var8 = #C7;
static const field core::String fnVal6 = #C7;
static method fn() → core::String
return (#C8).{core::Object::toString}(){() → core::String};
return #C8.{core::Object::toString}(){() → core::String};
static method fn2() → core::String
return (#C9).{self::B::toString}(){() → core::String};
return #C9.{self::B::toString}(){() → core::String};
static method fn3() → core::int
return (#C11).{self::C::fn}(){() → core::int};
return #C11.{self::C::fn}(){() → core::int};
static method fn4() → core::int
return (#C13).{self::C::fn}(){() → core::int};
return #C13.{self::C::fn}(){() → core::int};
static method fn5() → core::int
return (#C14).{self::D::fn}(){() → core::int};
return #C14.{self::D::fn}(){() → core::int};
static method fn6() → core::int
return (#C15).{self::C::fn}(){() → core::int};
return #C15.{self::C::fn}(){() → core::int};
static method fn7() → core::String
return (#C16).{self::F::fn}("string"){(core::String) → core::String};
return #C16.{self::F::fn}("string"){(core::String) → core::String};
static method fn8() → core::String
return (#C17).{self::F::fn}("string"){(core::String) → core::String};
return #C17.{self::F::fn}("string"){(core::String) → core::String};
static method main() → void {
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C4, 200);
exp::Expect::equals(#C5, 100);
exp::Expect::equals(#C4, 200);

24
pkg/front_end/testcases/const_functions/const_functions_instance_methods.dart.weak.transformed.expect
View file

@ -71,26 +71,26 @@ static const field core::String fnVal5 = #C7;
static const field core::String var8 = #C7;
static const field core::String fnVal6 = #C7;
static method fn() → core::String
return (#C8).{core::Object::toString}(){() → core::String};
return #C8.{core::Object::toString}(){() → core::String};
static method fn2() → core::String
return (#C9).{self::B::toString}(){() → core::String};
return #C9.{self::B::toString}(){() → core::String};
static method fn3() → core::int
return (#C11).{self::C::fn}(){() → core::int};
return #C11.{self::C::fn}(){() → core::int};
static method fn4() → core::int
return (#C13).{self::C::fn}(){() → core::int};
return #C13.{self::C::fn}(){() → core::int};
static method fn5() → core::int
return (#C14).{self::D::fn}(){() → core::int};
return #C14.{self::D::fn}(){() → core::int};
static method fn6() → core::int
return (#C15).{self::C::fn}(){() → core::int};
return #C15.{self::C::fn}(){() → core::int};
static method fn7() → core::String
return (#C16).{self::F::fn}("string"){(core::String) → core::String};
return #C16.{self::F::fn}("string"){(core::String) → core::String};
static method fn8() → core::String
return (#C17).{self::F::fn}("string"){(core::String) → core::String};
return #C17.{self::F::fn}("string"){(core::String) → core::String};
static method main() → void {
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, (#C8).{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, (#C9).{self::B::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C2, #C8.{core::Object::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C3, #C9.{self::B::toString}(){() → core::String});
exp::Expect::equals(#C4, 200);
exp::Expect::equals(#C5, 100);
exp::Expect::equals(#C4, 200);

24
pkg/front_end/testcases/const_functions/const_functions_list.dart.strong.expect
View file

@ -20,11 +20,11 @@ static const field core::int rangeErrorCatchVar = #C2;
static const field core::List<core::int> mutableListVar = #C6;
static const field core::List<core::int> mutableListAddVar = #C8;
static method firstFn() → core::int {
return (#C6).{core::Iterable::first}{core::int};
return #C6.{core::Iterable::first}{core::int};
}
static method firstCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::first}{core::int};
core::int v = #C9.{core::Iterable::first}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -32,17 +32,17 @@ static method firstCatchFn() → core::int {
return 1;
}
static method isEmptyFn() → core::bool {
return (#C6).{core::Iterable::isEmpty}{core::bool};
return #C6.{core::Iterable::isEmpty}{core::bool};
}
static method isNotEmptyFn() → core::bool {
return (#C6).{core::Iterable::isNotEmpty}{core::bool};
return #C6.{core::Iterable::isNotEmpty}{core::bool};
}
static method lastFn() → core::int {
return (#C6).{core::Iterable::last}{core::int};
return #C6.{core::Iterable::last}{core::int};
}
static method lastCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::last}{core::int};
core::int v = #C9.{core::Iterable::last}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -50,14 +50,14 @@ static method lastCatchFn() → core::int {
return 1;
}
static method lengthFn() → core::int {
return (#C6).{core::List::length}{core::int};
return #C6.{core::List::length}{core::int};
}
static method singleFn() → core::int {
return (#C10).{core::Iterable::single}{core::int};
return #C10.{core::Iterable::single}{core::int};
}
static method singleCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::single}{core::int};
core::int v = #C9.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -66,7 +66,7 @@ static method singleCatchFn() → core::int {
}
static method singleCatchFn2() → core::int {
try {
core::int v = (#C6).{core::Iterable::single}{core::int};
core::int v = #C6.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -74,11 +74,11 @@ static method singleCatchFn2() → core::int {
return 1;
}
static method getWithIndexFn() → core::int {
return (#C10).{core::List::[]}(0){(core::int) → core::int};
return #C10.{core::List::[]}(0){(core::int) → core::int};
}
static method rangeErrorCatchFn() → core::int {
try {
core::int v = (#C10).{core::List::[]}(1){(core::int) → core::int};
core::int v = #C10.{core::List::[]}(1){(core::int) → core::int};
}
on core::RangeError catch(no-exception-var) {
return 0;

24
pkg/front_end/testcases/const_functions/const_functions_list.dart.strong.transformed.expect
View file

@ -20,11 +20,11 @@ static const field core::int rangeErrorCatchVar = #C2;
static const field core::List<core::int> mutableListVar = #C6;
static const field core::List<core::int> mutableListAddVar = #C8;
static method firstFn() → core::int {
return (#C6).{core::Iterable::first}{core::int};
return #C6.{core::Iterable::first}{core::int};
}
static method firstCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::first}{core::int};
core::int v = #C9.{core::Iterable::first}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -32,17 +32,17 @@ static method firstCatchFn() → core::int {
return 1;
}
static method isEmptyFn() → core::bool {
return (#C6).{core::Iterable::isEmpty}{core::bool};
return #C6.{core::Iterable::isEmpty}{core::bool};
}
static method isNotEmptyFn() → core::bool {
return (#C6).{core::Iterable::isNotEmpty}{core::bool};
return #C6.{core::Iterable::isNotEmpty}{core::bool};
}
static method lastFn() → core::int {
return (#C6).{core::Iterable::last}{core::int};
return #C6.{core::Iterable::last}{core::int};
}
static method lastCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::last}{core::int};
core::int v = #C9.{core::Iterable::last}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -50,14 +50,14 @@ static method lastCatchFn() → core::int {
return 1;
}
static method lengthFn() → core::int {
return (#C6).{core::List::length}{core::int};
return #C6.{core::List::length}{core::int};
}
static method singleFn() → core::int {
return (#C10).{core::Iterable::single}{core::int};
return #C10.{core::Iterable::single}{core::int};
}
static method singleCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::single}{core::int};
core::int v = #C9.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -66,7 +66,7 @@ static method singleCatchFn() → core::int {
}
static method singleCatchFn2() → core::int {
try {
core::int v = (#C6).{core::Iterable::single}{core::int};
core::int v = #C6.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -74,11 +74,11 @@ static method singleCatchFn2() → core::int {
return 1;
}
static method getWithIndexFn() → core::int {
return (#C10).{core::List::[]}(0){(core::int) → core::int};
return #C10.{core::List::[]}(0){(core::int) → core::int};
}
static method rangeErrorCatchFn() → core::int {
try {
core::int v = (#C10).{core::List::[]}(1){(core::int) → core::int};
core::int v = #C10.{core::List::[]}(1){(core::int) → core::int};
}
on core::RangeError catch(no-exception-var) {
return 0;

24
pkg/front_end/testcases/const_functions/const_functions_list.dart.weak.expect
View file

@ -20,11 +20,11 @@ static const field core::int rangeErrorCatchVar = #C2;
static const field core::List<core::int> mutableListVar = #C6;
static const field core::List<core::int> mutableListAddVar = #C8;
static method firstFn() → core::int {
return (#C6).{core::Iterable::first}{core::int};
return #C6.{core::Iterable::first}{core::int};
}
static method firstCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::first}{core::int};
core::int v = #C9.{core::Iterable::first}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -32,17 +32,17 @@ static method firstCatchFn() → core::int {
return 1;
}
static method isEmptyFn() → core::bool {
return (#C6).{core::Iterable::isEmpty}{core::bool};
return #C6.{core::Iterable::isEmpty}{core::bool};
}
static method isNotEmptyFn() → core::bool {
return (#C6).{core::Iterable::isNotEmpty}{core::bool};
return #C6.{core::Iterable::isNotEmpty}{core::bool};
}
static method lastFn() → core::int {
return (#C6).{core::Iterable::last}{core::int};
return #C6.{core::Iterable::last}{core::int};
}
static method lastCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::last}{core::int};
core::int v = #C9.{core::Iterable::last}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -50,14 +50,14 @@ static method lastCatchFn() → core::int {
return 1;
}
static method lengthFn() → core::int {
return (#C6).{core::List::length}{core::int};
return #C6.{core::List::length}{core::int};
}
static method singleFn() → core::int {
return (#C10).{core::Iterable::single}{core::int};
return #C10.{core::Iterable::single}{core::int};
}
static method singleCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::single}{core::int};
core::int v = #C9.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -66,7 +66,7 @@ static method singleCatchFn() → core::int {
}
static method singleCatchFn2() → core::int {
try {
core::int v = (#C6).{core::Iterable::single}{core::int};
core::int v = #C6.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -74,11 +74,11 @@ static method singleCatchFn2() → core::int {
return 1;
}
static method getWithIndexFn() → core::int {
return (#C10).{core::List::[]}(0){(core::int) → core::int};
return #C10.{core::List::[]}(0){(core::int) → core::int};
}
static method rangeErrorCatchFn() → core::int {
try {
core::int v = (#C10).{core::List::[]}(1){(core::int) → core::int};
core::int v = #C10.{core::List::[]}(1){(core::int) → core::int};
}
on core::RangeError catch(no-exception-var) {
return 0;

24
pkg/front_end/testcases/const_functions/const_functions_list.dart.weak.transformed.expect
View file

@ -20,11 +20,11 @@ static const field core::int rangeErrorCatchVar = #C2;
static const field core::List<core::int> mutableListVar = #C6;
static const field core::List<core::int> mutableListAddVar = #C8;
static method firstFn() → core::int {
return (#C6).{core::Iterable::first}{core::int};
return #C6.{core::Iterable::first}{core::int};
}
static method firstCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::first}{core::int};
core::int v = #C9.{core::Iterable::first}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -32,17 +32,17 @@ static method firstCatchFn() → core::int {
return 1;
}
static method isEmptyFn() → core::bool {
return (#C6).{core::Iterable::isEmpty}{core::bool};
return #C6.{core::Iterable::isEmpty}{core::bool};
}
static method isNotEmptyFn() → core::bool {
return (#C6).{core::Iterable::isNotEmpty}{core::bool};
return #C6.{core::Iterable::isNotEmpty}{core::bool};
}
static method lastFn() → core::int {
return (#C6).{core::Iterable::last}{core::int};
return #C6.{core::Iterable::last}{core::int};
}
static method lastCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::last}{core::int};
core::int v = #C9.{core::Iterable::last}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -50,14 +50,14 @@ static method lastCatchFn() → core::int {
return 1;
}
static method lengthFn() → core::int {
return (#C6).{core::List::length}{core::int};
return #C6.{core::List::length}{core::int};
}
static method singleFn() → core::int {
return (#C10).{core::Iterable::single}{core::int};
return #C10.{core::Iterable::single}{core::int};
}
static method singleCatchFn() → core::int {
try {
core::int v = (#C9).{core::Iterable::single}{core::int};
core::int v = #C9.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -66,7 +66,7 @@ static method singleCatchFn() → core::int {
}
static method singleCatchFn2() → core::int {
try {
core::int v = (#C6).{core::Iterable::single}{core::int};
core::int v = #C6.{core::Iterable::single}{core::int};
}
on core::StateError catch(no-exception-var) {
return 0;
@ -74,11 +74,11 @@ static method singleCatchFn2() → core::int {
return 1;
}
static method getWithIndexFn() → core::int {
return (#C10).{core::List::[]}(0){(core::int) → core::int};
return #C10.{core::List::[]}(0){(core::int) → core::int};
}
static method rangeErrorCatchFn() → core::int {
try {
core::int v = (#C10).{core::List::[]}(1){(core::int) → core::int};
core::int v = #C10.{core::List::[]}(1){(core::int) → core::int};
}
on core::RangeError catch(no-exception-var) {
return 0;

18
pkg/front_end/testcases/const_functions/const_functions_list_error.dart.strong.expect
View file

@ -82,37 +82,37 @@ static const field core::int getWithIndexException3 = invalid-expression "pkg/fr
^";
static const field core::List<core::int> constListAddException = invalid-expression "Unhandled core exception: Unsupported operation: add";
static method firstExceptionFn() → core::int {
return (#C1).{core::Iterable::first}{core::int};
return #C1.{core::Iterable::first}{core::int};
}
static method lastExceptionFn() → core::int {
return (#C1).{core::Iterable::last}{core::int};
return #C1.{core::Iterable::last}{core::int};
}
static method singleExceptionFn() → core::int {
return (#C1).{core::Iterable::single}{core::int};
return #C1.{core::Iterable::single}{core::int};
}
static method singleExceptionMultiFn() → core::int {
return (#C4).{core::Iterable::single}{core::int};
return #C4.{core::Iterable::single}{core::int};
}
static method invalidPropertyFn() → core::int {
return invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:36:12: Error: The getter 'invalidProperty' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'invalidProperty'.
return x.invalidProperty;
^^^^^^^^^^^^^^^" in (#C4){<unresolved>}.invalidProperty as{TypeError,ForDynamic,ForNonNullableByDefault} core::int;
^^^^^^^^^^^^^^^" in #C4{<unresolved>}.invalidProperty as{TypeError,ForDynamic,ForNonNullableByDefault} core::int;
}
static method getWithIndexExceptionFn() → core::int {
return (#C5).{core::List::[]}(1){(core::int) → core::int};
return #C5.{core::List::[]}(1){(core::int) → core::int};
}
static method getWithIndexExceptionFn2() → core::int {
return (#C5).{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
return #C5.{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
}
static method getWithIndexExceptionFn3() → core::int {
return (#C5).{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C5.{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return x[0.1];
^" in 0.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::int};
}
static method constListAddExceptionFn() → core::List<core::int> {
(#C4).{core::List::add}(3){(core::int) → void};
#C4.{core::List::add}(3){(core::int) → void};
return #C4;
}
static method main() → void {}

18
pkg/front_end/testcases/const_functions/const_functions_list_error.dart.strong.transformed.expect
View file

@ -82,37 +82,37 @@ static const field core::int getWithIndexException3 = invalid-expression "pkg/fr
^";
static const field core::List<core::int> constListAddException = invalid-expression "Unhandled core exception: Unsupported operation: add";
static method firstExceptionFn() → core::int {
return (#C1).{core::Iterable::first}{core::int};
return #C1.{core::Iterable::first}{core::int};
}
static method lastExceptionFn() → core::int {
return (#C1).{core::Iterable::last}{core::int};
return #C1.{core::Iterable::last}{core::int};
}
static method singleExceptionFn() → core::int {
return (#C1).{core::Iterable::single}{core::int};
return #C1.{core::Iterable::single}{core::int};
}
static method singleExceptionMultiFn() → core::int {
return (#C4).{core::Iterable::single}{core::int};
return #C4.{core::Iterable::single}{core::int};
}
static method invalidPropertyFn() → core::int {
return invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:36:12: Error: The getter 'invalidProperty' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'invalidProperty'.
return x.invalidProperty;
^^^^^^^^^^^^^^^" in (#C4){<unresolved>}.invalidProperty;
^^^^^^^^^^^^^^^" in #C4{<unresolved>}.invalidProperty;
}
static method getWithIndexExceptionFn() → core::int {
return (#C5).{core::List::[]}(1){(core::int) → core::int};
return #C5.{core::List::[]}(1){(core::int) → core::int};
}
static method getWithIndexExceptionFn2() → core::int {
return (#C5).{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
return #C5.{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
}
static method getWithIndexExceptionFn3() → core::int {
return (#C5).{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C5.{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return x[0.1];
^" in 0.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::int};
}
static method constListAddExceptionFn() → core::List<core::int> {
(#C4).{core::List::add}(3){(core::int) → void};
#C4.{core::List::add}(3){(core::int) → void};
return #C4;
}
static method main() → void {}

18
pkg/front_end/testcases/const_functions/const_functions_list_error.dart.weak.expect
View file

@ -82,37 +82,37 @@ static const field core::int getWithIndexException3 = invalid-expression "pkg/fr
^";
static const field core::List<core::int> constListAddException = invalid-expression "Unhandled core exception: Unsupported operation: add";
static method firstExceptionFn() → core::int {
return (#C1).{core::Iterable::first}{core::int};
return #C1.{core::Iterable::first}{core::int};
}
static method lastExceptionFn() → core::int {
return (#C1).{core::Iterable::last}{core::int};
return #C1.{core::Iterable::last}{core::int};
}
static method singleExceptionFn() → core::int {
return (#C1).{core::Iterable::single}{core::int};
return #C1.{core::Iterable::single}{core::int};
}
static method singleExceptionMultiFn() → core::int {
return (#C4).{core::Iterable::single}{core::int};
return #C4.{core::Iterable::single}{core::int};
}
static method invalidPropertyFn() → core::int {
return invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:36:12: Error: The getter 'invalidProperty' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'invalidProperty'.
return x.invalidProperty;
^^^^^^^^^^^^^^^" in (#C4){<unresolved>}.invalidProperty as{TypeError,ForDynamic,ForNonNullableByDefault} core::int;
^^^^^^^^^^^^^^^" in #C4{<unresolved>}.invalidProperty as{TypeError,ForDynamic,ForNonNullableByDefault} core::int;
}
static method getWithIndexExceptionFn() → core::int {
return (#C5).{core::List::[]}(1){(core::int) → core::int};
return #C5.{core::List::[]}(1){(core::int) → core::int};
}
static method getWithIndexExceptionFn2() → core::int {
return (#C5).{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
return #C5.{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
}
static method getWithIndexExceptionFn3() → core::int {
return (#C5).{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C5.{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return x[0.1];
^" in 0.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::int};
}
static method constListAddExceptionFn() → core::List<core::int> {
(#C4).{core::List::add}(3){(core::int) → void};
#C4.{core::List::add}(3){(core::int) → void};
return #C4;
}
static method main() → void {}

18
pkg/front_end/testcases/const_functions/const_functions_list_error.dart.weak.transformed.expect
View file

@ -82,37 +82,37 @@ static const field core::int getWithIndexException3 = invalid-expression "pkg/fr
^";
static const field core::List<core::int> constListAddException = invalid-expression "Unhandled core exception: Unsupported operation: add";
static method firstExceptionFn() → core::int {
return (#C1).{core::Iterable::first}{core::int};
return #C1.{core::Iterable::first}{core::int};
}
static method lastExceptionFn() → core::int {
return (#C1).{core::Iterable::last}{core::int};
return #C1.{core::Iterable::last}{core::int};
}
static method singleExceptionFn() → core::int {
return (#C1).{core::Iterable::single}{core::int};
return #C1.{core::Iterable::single}{core::int};
}
static method singleExceptionMultiFn() → core::int {
return (#C4).{core::Iterable::single}{core::int};
return #C4.{core::Iterable::single}{core::int};
}
static method invalidPropertyFn() → core::int {
return invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:36:12: Error: The getter 'invalidProperty' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'invalidProperty'.
return x.invalidProperty;
^^^^^^^^^^^^^^^" in (#C4){<unresolved>}.invalidProperty;
^^^^^^^^^^^^^^^" in #C4{<unresolved>}.invalidProperty;
}
static method getWithIndexExceptionFn() → core::int {
return (#C5).{core::List::[]}(1){(core::int) → core::int};
return #C5.{core::List::[]}(1){(core::int) → core::int};
}
static method getWithIndexExceptionFn2() → core::int {
return (#C5).{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
return #C5.{core::List::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::int};
}
static method getWithIndexExceptionFn3() → core::int {
return (#C5).{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C5.{core::List::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_list_error.dart:54:12: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return x[0.1];
^" in 0.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::int};
}
static method constListAddExceptionFn() → core::List<core::int> {
(#C4).{core::List::add}(3){(core::int) → void};
#C4.{core::List::add}(3){(core::int) → void};
return #C4;
}
static method main() → void {}

2
pkg/front_end/testcases/const_functions/const_functions_local_functions.dart.strong.expect
View file

@ -46,7 +46,7 @@ static method function7() → core::int {
static method function8() → core::int {
function add(core::int a, core::int b) → core::int
return a.{core::num::+}(b){(core::num) → core::int};
return (#C1).{core::num::+}(#C4){(core::num) → core::int};
return #C1.{core::num::+}(#C4){(core::num) → core::int};
}
static method main() → void {
exp::Expect::equals(self::function1(), 12);

2
pkg/front_end/testcases/const_functions/const_functions_local_functions.dart.strong.transformed.expect
View file

@ -46,7 +46,7 @@ static method function7() → core::int {
static method function8() → core::int {
function add(core::int a, core::int b) → core::int
return a.{core::num::+}(b){(core::num) → core::int};
return (#C1).{core::num::+}(#C4){(core::num) → core::int};
return #C1.{core::num::+}(#C4){(core::num) → core::int};
}
static method main() → void {
exp::Expect::equals(self::function1(), 12);

2
pkg/front_end/testcases/const_functions/const_functions_local_functions.dart.weak.expect
View file

@ -46,7 +46,7 @@ static method function7() → core::int {
static method function8() → core::int {
function add(core::int a, core::int b) → core::int
return a.{core::num::+}(b){(core::num) → core::int};
return (#C1).{core::num::+}(#C4){(core::num) → core::int};
return #C1.{core::num::+}(#C4){(core::num) → core::int};
}
static method main() → void {
exp::Expect::equals(self::function1(), 12);

2
pkg/front_end/testcases/const_functions/const_functions_local_functions.dart.weak.transformed.expect
View file

@ -46,7 +46,7 @@ static method function7() → core::int {
static method function8() → core::int {
function add(core::int a, core::int b) → core::int
return a.{core::num::+}(b){(core::num) → core::int};
return (#C1).{core::num::+}(#C4){(core::num) → core::int};
return #C1.{core::num::+}(#C4){(core::num) → core::int};
}
static method main() → void {
exp::Expect::equals(self::function1(), 12);

2
pkg/front_end/testcases/const_functions/const_functions_map.dart.strong.expect
View file

@ -17,7 +17,7 @@ static method fn(core::Map<core::Object, core::Object> map, core::Object key)
return map.{core::Map::[]}(key){(core::Object?) → core::Object?};
}
static method fn2() → core::int? {
return (#C11).{core::Map::[]}("key"){(core::Object?) → core::int?};
return #C11.{core::Map::[]}("key"){(core::Object?) → core::int?};
}
static method main() → void {
exp::Expect::equals(#C1, "val");

2
pkg/front_end/testcases/const_functions/const_functions_map.dart.strong.transformed.expect
View file

@ -17,7 +17,7 @@ static method fn(core::Map<core::Object, core::Object> map, core::Object key)
return map.{core::Map::[]}(key){(core::Object?) → core::Object?};
}
static method fn2() → core::int? {
return (#C11).{core::Map::[]}("key"){(core::Object?) → core::int?};
return #C11.{core::Map::[]}("key"){(core::Object?) → core::int?};
}
static method main() → void {
exp::Expect::equals(#C1, "val");

2
pkg/front_end/testcases/const_functions/const_functions_map.dart.weak.expect
View file

@ -17,7 +17,7 @@ static method fn(core::Map<core::Object, core::Object> map, core::Object key)
return map.{core::Map::[]}(key){(core::Object?) → core::Object?};
}
static method fn2() → core::int? {
return (#C11).{core::Map::[]}("key"){(core::Object?) → core::int?};
return #C11.{core::Map::[]}("key"){(core::Object?) → core::int?};
}
static method main() → void {
exp::Expect::equals(#C1, "val");

2
pkg/front_end/testcases/const_functions/const_functions_map.dart.weak.transformed.expect
View file

@ -17,7 +17,7 @@ static method fn(core::Map<core::Object, core::Object> map, core::Object key)
return map.{core::Map::[]}(key){(core::Object?) → core::Object?};
}
static method fn2() → core::int? {
return (#C11).{core::Map::[]}("key"){(core::Object?) → core::int?};
return #C11.{core::Map::[]}("key"){(core::Object?) → core::int?};
}
static method main() → void {
exp::Expect::equals(#C1, "val");

4
pkg/front_end/testcases/const_functions/const_functions_return.dart.strong.expect
View file

@ -28,8 +28,8 @@ static method fn5() → core::int {
}
}
static method main() → void {
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C2, 2);

4
pkg/front_end/testcases/const_functions/const_functions_return.dart.strong.transformed.expect
View file

@ -28,8 +28,8 @@ static method fn5() → core::int {
}
}
static method main() → void {
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C2, 2);

4
pkg/front_end/testcases/const_functions/const_functions_return.dart.weak.expect
View file

@ -28,8 +28,8 @@ static method fn5() → core::int {
}
}
static method main() → void {
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C2, 2);

4
pkg/front_end/testcases/const_functions/const_functions_return.dart.weak.transformed.expect
View file

@ -28,8 +28,8 @@ static method fn5() → core::int {
}
}
static method main() → void {
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals((#C1) as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1 as{ForNonNullableByDefault} dynamic, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C1, null);
exp::Expect::equals(#C2, 2);

2
pkg/front_end/testcases/const_functions/const_functions_string.dart.strong.expect
View file

@ -16,7 +16,7 @@ static method fn() → dynamic {
}
static method fn2() → dynamic {
try {
core::String x = (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
core::String x = #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
on core::RangeError catch(no-exception-var) {
return 2;

2
pkg/front_end/testcases/const_functions/const_functions_string.dart.strong.transformed.expect
View file

@ -16,7 +16,7 @@ static method fn() → dynamic {
}
static method fn2() → dynamic {
try {
core::String x = (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
core::String x = #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
on core::RangeError catch(no-exception-var) {
return 2;

2
pkg/front_end/testcases/const_functions/const_functions_string.dart.weak.expect
View file

@ -16,7 +16,7 @@ static method fn() → dynamic {
}
static method fn2() → dynamic {
try {
core::String x = (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
core::String x = #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
on core::RangeError catch(no-exception-var) {
return 2;

2
pkg/front_end/testcases/const_functions/const_functions_string.dart.weak.transformed.expect
View file

@ -16,7 +16,7 @@ static method fn() → dynamic {
}
static method fn2() → dynamic {
try {
core::String x = (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
core::String x = #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
on core::RangeError catch(no-exception-var) {
return 2;

6
pkg/front_end/testcases/const_functions/const_functions_string_error.dart.strong.expect
View file

@ -49,15 +49,15 @@ static const field dynamic var5 = invalid-expression "pkg/front_end/testcases/co
^";
static method fn() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
return #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
static method fn2() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(3){(core::int) → core::String};
return #C1.{core::String::[]}(3){(core::int) → core::String};
}
static method fn3() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C1.{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return str[1.1];
^" in 1.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::String};
}

6
pkg/front_end/testcases/const_functions/const_functions_string_error.dart.strong.transformed.expect
View file

@ -49,15 +49,15 @@ static const field dynamic var5 = invalid-expression "pkg/front_end/testcases/co
^";
static method fn() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
return #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
static method fn2() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(3){(core::int) → core::String};
return #C1.{core::String::[]}(3){(core::int) → core::String};
}
static method fn3() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C1.{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return str[1.1];
^" in 1.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::String};
}

6
pkg/front_end/testcases/const_functions/const_functions_string_error.dart.weak.expect
View file

@ -49,15 +49,15 @@ static const field dynamic var5 = invalid-expression "pkg/front_end/testcases/co
^";
static method fn() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
return #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
static method fn2() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(3){(core::int) → core::String};
return #C1.{core::String::[]}(3){(core::int) → core::String};
}
static method fn3() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C1.{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return str[1.1];
^" in 1.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::String};
}

6
pkg/front_end/testcases/const_functions/const_functions_string_error.dart.weak.transformed.expect
View file

@ -49,15 +49,15 @@ static const field dynamic var5 = invalid-expression "pkg/front_end/testcases/co
^";
static method fn() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
return #C1.{core::String::[]}(1.{core::int::unary-}(){() → core::int}){(core::int) → core::String};
}
static method fn2() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(3){(core::int) → core::String};
return #C1.{core::String::[]}(3){(core::int) → core::String};
}
static method fn3() → dynamic {
core::String s = "str";
return (#C1).{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return #C1.{core::String::[]}(invalid-expression "pkg/front_end/testcases/const_functions/const_functions_string_error.dart:28:14: Error: A value of type 'double' can't be assigned to a variable of type 'int'.
return str[1.1];
^" in 1.1 as{TypeError,ForNonNullableByDefault} core::int){(core::int) → core::String};
}

16
pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart.strong.expect
View file

@ -238,12 +238,12 @@ static method test() → dynamic {
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(<core::int>[]);
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(<core::int>[]);
invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:14:8: Error: The operator '<' isn't defined for the class 'Type'.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
;
);
#C5;
@ -258,7 +258,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named;
@ -267,7 +267,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named();
@ -276,7 +276,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
Try changing the operand or remove the type arguments.
Class<int><int>.named<int>;
^");
@ -284,7 +284,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named<int>();
@ -293,7 +293,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>;
@ -302,7 +302,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>();

16
pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart.strong.transformed.expect
View file

@ -238,12 +238,12 @@ static method test() → dynamic {
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(core::_GrowableList::•<core::int>(0));
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(core::_GrowableList::•<core::int>(0));
invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:14:8: Error: The operator '<' isn't defined for the class 'Type'.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
;
);
#C5;
@ -258,7 +258,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named;
@ -267,7 +267,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named();
@ -276,7 +276,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
Try changing the operand or remove the type arguments.
Class<int><int>.named<int>;
^");
@ -284,7 +284,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named<int>();
@ -293,7 +293,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>;
@ -302,7 +302,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>();

16
pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart.weak.expect
View file

@ -238,12 +238,12 @@ static method test() → dynamic {
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(<core::int>[]);
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(<core::int>[]);
invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:14:8: Error: The operator '<' isn't defined for the class 'Type'.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
;
);
#C5;
@ -258,7 +258,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named;
@ -267,7 +267,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named();
@ -276,7 +276,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
Try changing the operand or remove the type arguments.
Class<int><int>.named<int>;
^");
@ -284,7 +284,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named<int>();
@ -293,7 +293,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>;
@ -302,7 +302,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>();

16
pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart.weak.transformed.expect
View file

@ -238,12 +238,12 @@ static method test() → dynamic {
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(core::_GrowableList::•<core::int>(0));
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(core::_GrowableList::•<core::int>(0));
invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:14:8: Error: The operator '<' isn't defined for the class 'Type'.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(<int extends core::Object? = dynamic>() → Null
;
);
#C5;
@ -258,7 +258,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:19:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named;
@ -267,7 +267,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:20:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named();
@ -276,7 +276,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:21:24: Error: The static type of the explicit instantiation operand must be a generic function type but is 'dynamic'.
Try changing the operand or remove the type arguments.
Class<int><int>.named<int>;
^");
@ -284,7 +284,7 @@ Try changing the operand or remove the type arguments.
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:22:19: Error: The method 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'named'.
Class<int><int>.named<int>();
@ -293,7 +293,7 @@ Try correcting the name to the name of an existing method, or defining a method
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>;
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:23:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>;
@ -302,7 +302,7 @@ Try correcting the name to the name of an existing getter, or defining a getter
- 'Type' is from 'dart:core'.
Try correcting the operator to an existing operator, or defining a '<' operator.
Class<int><int>.named<int><int>();
^" in (#C2){<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
^" in #C2{<unresolved>}.<(#C3){dynamic}.>(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/duplicate_instantiation.dart:24:19: Error: The getter 'named' isn't defined for the class 'List<int>'.
- 'List' is from 'dart:core'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
Class<int><int>.named<int><int>();

8
pkg/front_end/testcases/constructor_tearoffs/explicit_instantiation.dart.strong.expect
View file

@ -13,7 +13,7 @@ class C extends core::Object {
return value;
method method() → void {
(core::int) → core::int f1 = #C2;
core::String f1TypeName = (#C2).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C2.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -27,7 +27,7 @@ abstract class M extends self::C /*isMixinDeclaration*/ {
return value;
method mmethod() → void {
(core::int) → core::int f1 = #C4;
core::String f1TypeName = (#C4).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C4.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -69,7 +69,7 @@ static method Ext|get#einst(lowered final self::C #this) → <T extends core::Ob
return <T extends core::Object? = dynamic>(T% value) → T% => self::Ext|einst<T%>(#this, value);
static method Ext|emethod(lowered final self::C #this) → void {
(core::int) → core::int f1 = #C6;
core::String f1TypeName = (#C6).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C6.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = self::Ext|get#einst(#this)<core::int>;
core::String f2TypeName = (self::Ext|get#einst(#this)<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = self::Ext|get#einst(#this)<core::int>;
@ -87,7 +87,7 @@ static method main() → void {
(core::int) → core::int f4 = d.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f5 = d.{self::_D&C&M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f6 = self::Ext|get#einst(d)<core::int>;
core::String typeName = (#C7).{core::Type::toString}(){() → core::String};
core::String typeName = #C7.{core::Type::toString}(){() → core::String};
core::String functionTypeName = (local<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
}

10
pkg/front_end/testcases/constructor_tearoffs/explicit_instantiation.dart.strong.transformed.expect
View file

@ -13,7 +13,7 @@ class C extends core::Object {
return value;
method method() → void {
(core::int) → core::int f1 = #C2;
core::String f1TypeName = (#C2).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C2.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -27,7 +27,7 @@ abstract class M extends self::C /*isMixinDeclaration*/ {
return value;
method mmethod() → void {
(core::int) → core::int f1 = #C4;
core::String f1TypeName = (#C4).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C4.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -42,7 +42,7 @@ abstract class _D&C&M extends self::C implements self::M /*isAnonymousMixin,isEl
return value;
method mmethod() → void {
(core::int) → core::int f1 = #C4;
core::String f1TypeName = (#C4).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C4.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -77,7 +77,7 @@ static method Ext|get#einst(lowered final self::C #this) → <T extends core::Ob
return <T extends core::Object? = dynamic>(T% value) → T% => self::Ext|einst<T%>(#this, value);
static method Ext|emethod(lowered final self::C #this) → void {
(core::int) → core::int f1 = #C6;
core::String f1TypeName = (#C6).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C6.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = self::Ext|get#einst(#this)<core::int>;
core::String f2TypeName = (self::Ext|get#einst(#this)<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = self::Ext|get#einst(#this)<core::int>;
@ -95,7 +95,7 @@ static method main() → void {
(core::int) → core::int f4 = d.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f5 = d.{self::_D&C&M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f6 = self::Ext|get#einst(d)<core::int>;
core::String typeName = (#C7).{core::Type::toString}(){() → core::String};
core::String typeName = #C7.{core::Type::toString}(){() → core::String};
core::String functionTypeName = (local<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
}

8
pkg/front_end/testcases/constructor_tearoffs/explicit_instantiation.dart.weak.expect
View file

@ -13,7 +13,7 @@ class C extends core::Object {
return value;
method method() → void {
(core::int) → core::int f1 = #C2;
core::String f1TypeName = (#C2).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C2.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -27,7 +27,7 @@ abstract class M extends self::C /*isMixinDeclaration*/ {
return value;
method mmethod() → void {
(core::int) → core::int f1 = #C4;
core::String f1TypeName = (#C4).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C4.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -69,7 +69,7 @@ static method Ext|get#einst(lowered final self::C #this) → <T extends core::Ob
return <T extends core::Object? = dynamic>(T% value) → T% => self::Ext|einst<T%>(#this, value);
static method Ext|emethod(lowered final self::C #this) → void {
(core::int) → core::int f1 = #C6;
core::String f1TypeName = (#C6).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C6.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = self::Ext|get#einst(#this)<core::int>;
core::String f2TypeName = (self::Ext|get#einst(#this)<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = self::Ext|get#einst(#this)<core::int>;
@ -87,7 +87,7 @@ static method main() → void {
(core::int) → core::int f4 = d.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f5 = d.{self::_D&C&M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f6 = self::Ext|get#einst(d)<core::int>;
core::String typeName = (#C7).{core::Type::toString}(){() → core::String};
core::String typeName = #C7.{core::Type::toString}(){() → core::String};
core::String functionTypeName = (local<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
}

10
pkg/front_end/testcases/constructor_tearoffs/explicit_instantiation.dart.weak.transformed.expect
View file

@ -13,7 +13,7 @@ class C extends core::Object {
return value;
method method() → void {
(core::int) → core::int f1 = #C2;
core::String f1TypeName = (#C2).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C2.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -27,7 +27,7 @@ abstract class M extends self::C /*isMixinDeclaration*/ {
return value;
method mmethod() → void {
(core::int) → core::int f1 = #C4;
core::String f1TypeName = (#C4).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C4.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -42,7 +42,7 @@ abstract class _D&C&M extends self::C implements self::M /*isAnonymousMixin,isEl
return value;
method mmethod() → void {
(core::int) → core::int f1 = #C4;
core::String f1TypeName = (#C4).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C4.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
core::String f2TypeName = (this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = this.{self::M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
@ -77,7 +77,7 @@ static method Ext|get#einst(lowered final self::C #this) → <T extends core::Ob
return <T extends core::Object? = dynamic>(T% value) → T% => self::Ext|einst<T%>(#this, value);
static method Ext|emethod(lowered final self::C #this) → void {
(core::int) → core::int f1 = #C6;
core::String f1TypeName = (#C6).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
core::String f1TypeName = #C6.{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f2 = self::Ext|get#einst(#this)<core::int>;
core::String f2TypeName = (self::Ext|get#einst(#this)<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
(core::int) → core::int f3 = self::Ext|get#einst(#this)<core::int>;
@ -95,7 +95,7 @@ static method main() → void {
(core::int) → core::int f4 = d.{self::C::inst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f5 = d.{self::_D&C&M::minst}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int f6 = self::Ext|get#einst(d)<core::int>;
core::String typeName = (#C7).{core::Type::toString}(){() → core::String};
core::String typeName = #C7.{core::Type::toString}(){() → core::String};
core::String functionTypeName = (local<core::int>).{core::Object::runtimeType}{core::Type}.{core::Type::toString}(){() → core::String};
}

12
pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart.strong.expect
View file

@ -75,19 +75,19 @@ static method test2() → <X extends core::Object? = dynamic>(X%) → self::A<X%
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} Never;
^" in #C2 as{TypeError,ForNonNullableByDefault} Never;
static method test3() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:14:32: Error: A value of type 'A<X/*1*/> Function<X>()' can't be returned from a function with return type 'A<X/*2*/> Function<X>(X/*2*/)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test3() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} Never;
^" in #C3 as{TypeError,ForNonNullableByDefault} Never;
static method test4() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:15:32: Error: A value of type 'A<int> Function()' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test4() => A<int>.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} Never;
^" in #C4 as{TypeError,ForNonNullableByDefault} Never;
static method test5() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:16:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -97,7 +97,7 @@ static method test6() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:17:32: Error: A value of type 'A<int> Function(int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test6() => A<int>.foo1; // Error.
^" in (#C5) as{TypeError,ForNonNullableByDefault} Never;
^" in #C5 as{TypeError,ForNonNullableByDefault} Never;
static method test7() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:18:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -107,7 +107,7 @@ static method test8() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:19:32: Error: A value of type 'A<int> Function(int, int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test8() => A<int>.foo2; // Error.
^" in (#C6) as{TypeError,ForNonNullableByDefault} Never;
^" in #C6 as{TypeError,ForNonNullableByDefault} Never;
static method test9() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:20:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -121,7 +121,7 @@ static method test11() → <X extends core::Object? = dynamic>(X%) → self::A<X
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test11() => A.bar1; // Error.
^" in (#C7) as{TypeError,ForNonNullableByDefault} Never;
^" in #C7 as{TypeError,ForNonNullableByDefault} Never;
static method test12() → () → self::A<core::int>
return #C8;
static method test13() → () → self::A<core::int>

12
pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart.strong.transformed.expect
View file

@ -75,19 +75,19 @@ static method test2() → <X extends core::Object? = dynamic>(X%) → self::A<X%
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} Never;
^" in #C2 as{TypeError,ForNonNullableByDefault} Never;
static method test3() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:14:32: Error: A value of type 'A<X/*1*/> Function<X>()' can't be returned from a function with return type 'A<X/*2*/> Function<X>(X/*2*/)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test3() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} Never;
^" in #C3 as{TypeError,ForNonNullableByDefault} Never;
static method test4() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:15:32: Error: A value of type 'A<int> Function()' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test4() => A<int>.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} Never;
^" in #C4 as{TypeError,ForNonNullableByDefault} Never;
static method test5() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:16:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -97,7 +97,7 @@ static method test6() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:17:32: Error: A value of type 'A<int> Function(int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test6() => A<int>.foo1; // Error.
^" in (#C5) as{TypeError,ForNonNullableByDefault} Never;
^" in #C5 as{TypeError,ForNonNullableByDefault} Never;
static method test7() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:18:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -107,7 +107,7 @@ static method test8() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:19:32: Error: A value of type 'A<int> Function(int, int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test8() => A<int>.foo2; // Error.
^" in (#C6) as{TypeError,ForNonNullableByDefault} Never;
^" in #C6 as{TypeError,ForNonNullableByDefault} Never;
static method test9() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:20:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -121,7 +121,7 @@ static method test11() → <X extends core::Object? = dynamic>(X%) → self::A<X
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test11() => A.bar1; // Error.
^" in (#C7) as{TypeError,ForNonNullableByDefault} Never;
^" in #C7 as{TypeError,ForNonNullableByDefault} Never;
static method test12() → () → self::A<core::int>
return #C8;
static method test13() → () → self::A<core::int>

12
pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart.weak.expect
View file

@ -75,19 +75,19 @@ static method test2() → <X extends core::Object? = dynamic>(X%) → self::A<X%
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} Never;
^" in #C2 as{TypeError,ForNonNullableByDefault} Never;
static method test3() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:14:32: Error: A value of type 'A<X/*1*/> Function<X>()' can't be returned from a function with return type 'A<X/*2*/> Function<X>(X/*2*/)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test3() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} Never;
^" in #C3 as{TypeError,ForNonNullableByDefault} Never;
static method test4() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:15:32: Error: A value of type 'A<int> Function()' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test4() => A<int>.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} Never;
^" in #C4 as{TypeError,ForNonNullableByDefault} Never;
static method test5() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:16:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -97,7 +97,7 @@ static method test6() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:17:32: Error: A value of type 'A<int> Function(int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test6() => A<int>.foo1; // Error.
^" in (#C5) as{TypeError,ForNonNullableByDefault} Never;
^" in #C5 as{TypeError,ForNonNullableByDefault} Never;
static method test7() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:18:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -107,7 +107,7 @@ static method test8() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:19:32: Error: A value of type 'A<int> Function(int, int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test8() => A<int>.foo2; // Error.
^" in (#C6) as{TypeError,ForNonNullableByDefault} Never;
^" in #C6 as{TypeError,ForNonNullableByDefault} Never;
static method test9() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:20:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -121,7 +121,7 @@ static method test11() → <X extends core::Object? = dynamic>(X%) → self::A<X
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test11() => A.bar1; // Error.
^" in (#C7) as{TypeError,ForNonNullableByDefault} Never;
^" in #C7 as{TypeError,ForNonNullableByDefault} Never;
static method test12() → () → self::A<core::int>
return #C8;
static method test13() → () → self::A<core::int>

12
pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart.weak.transformed.expect
View file

@ -75,19 +75,19 @@ static method test2() → <X extends core::Object? = dynamic>(X%) → self::A<X%
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} Never;
^" in #C2 as{TypeError,ForNonNullableByDefault} Never;
static method test3() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:14:32: Error: A value of type 'A<X/*1*/> Function<X>()' can't be returned from a function with return type 'A<X/*2*/> Function<X>(X/*2*/)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test3() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} Never;
^" in #C3 as{TypeError,ForNonNullableByDefault} Never;
static method test4() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:15:32: Error: A value of type 'A<int> Function()' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test4() => A<int>.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} Never;
^" in #C4 as{TypeError,ForNonNullableByDefault} Never;
static method test5() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:16:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -97,7 +97,7 @@ static method test6() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:17:32: Error: A value of type 'A<int> Function(int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test6() => A<int>.foo1; // Error.
^" in (#C5) as{TypeError,ForNonNullableByDefault} Never;
^" in #C5 as{TypeError,ForNonNullableByDefault} Never;
static method test7() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:18:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -107,7 +107,7 @@ static method test8() → <X extends core::Object? = dynamic>(X%) → self::A<X%
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:19:32: Error: A value of type 'A<int> Function(int, int)' can't be returned from a function with return type 'A<X> Function<X>(X)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart'.
A<X> Function<X>(X) test8() => A<int>.foo2; // Error.
^" in (#C6) as{TypeError,ForNonNullableByDefault} Never;
^" in #C6 as{TypeError,ForNonNullableByDefault} Never;
static method test9() → <X extends core::Object? = dynamic>(X%) → self::A<X%>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/generic_tearoff_with_context.dart:20:32: Error: Too many type arguments: 1 allowed, but 2 found.
Try removing the extra type arguments.
@ -121,7 +121,7 @@ static method test11() → <X extends core::Object? = dynamic>(X%) → self::A<X
- 'X/*1*/' is from 'unknown'.
- 'X/*2*/' is from 'unknown'.
A<X> Function<X>(X) test11() => A.bar1; // Error.
^" in (#C7) as{TypeError,ForNonNullableByDefault} Never;
^" in #C7 as{TypeError,ForNonNullableByDefault} Never;
static method test12() → () → self::A<core::int>
return #C8;
static method test13() → () → self::A<core::int>

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation.dart.strong.expect
View file

@ -18,8 +18,8 @@ static method test() → dynamic {
(core::int) → core::int f = self::alias<core::int>;
(core::int) → core::int g;
g = self::alias<core::int>;
(core::int) → core::int h = let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
g = let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int h = (let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
g = (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
self::method(self::alias<core::int>);
}
static method main() → dynamic {

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation.dart.strong.transformed.expect
View file

@ -18,8 +18,8 @@ static method test() → dynamic {
(core::int) → core::int f = self::alias<core::int>;
(core::int) → core::int g;
g = self::alias<core::int>;
(core::int) → core::int h = let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
g = let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int h = (let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
g = (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
self::method(self::alias<core::int>);
}
static method main() → dynamic {

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation.dart.weak.expect
View file

@ -18,8 +18,8 @@ static method test() → dynamic {
(core::int) → core::int f = self::alias<core::int>;
(core::int) → core::int g;
g = self::alias<core::int>;
(core::int) → core::int h = let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
g = let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int h = (let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
g = (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
self::method(self::alias<core::int>);
}
static method main() → dynamic {

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation.dart.weak.transformed.expect
View file

@ -18,8 +18,8 @@ static method test() → dynamic {
(core::int) → core::int f = self::alias<core::int>;
(core::int) → core::int g;
g = self::alias<core::int>;
(core::int) → core::int h = let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
g = let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%}<core::int>;
(core::int) → core::int h = (let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
g = (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%) → T%})<core::int>;
self::method(self::alias<core::int>);
}
static method main() → dynamic {

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart.strong.expect
View file

@ -47,10 +47,10 @@ static method test() → dynamic {
^" in (self::alias<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
(core::int, core::int?) → core::int h = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:19:27: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
int Function(int, int?) h = c;
^" in (let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int;
^" in ((let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int;
g = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:20:3: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)?' because 'int?' is nullable and 'int' isn't.
g = c;
^" in (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
^" in ((let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
self::method(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:21:10: Error: The argument type 'int Function(int, int)?' can't be assigned to the parameter type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
method(alias);
^" in (self::alias<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int);

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart.strong.transformed.expect
View file

@ -47,10 +47,10 @@ static method test() → dynamic {
^" in (self::alias<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
(core::int, core::int?) → core::int h = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:19:27: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
int Function(int, int?) h = c;
^" in (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int;
^" in ((let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int;
g = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:20:3: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)?' because 'int?' is nullable and 'int' isn't.
g = c;
^" in (let final self::Class #t3 = c in #t3 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t3.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
^" in ((let final self::Class #t3 = c in #t3 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t3.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
self::method(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:21:10: Error: The argument type 'int Function(int, int)?' can't be assigned to the parameter type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
method(alias);
^" in (self::alias<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int);

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart.weak.expect
View file

@ -47,10 +47,10 @@ static method test() → dynamic {
^" in (self::alias<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
(core::int, core::int?) → core::int h = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:19:27: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
int Function(int, int?) h = c;
^" in (let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int;
^" in ((let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int;
g = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:20:3: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)?' because 'int?' is nullable and 'int' isn't.
g = c;
^" in (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
^" in ((let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) →? core::int;
self::method(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:21:10: Error: The argument type 'int Function(int, int)?' can't be assigned to the parameter type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
method(alias);
^" in (self::alias<core::int>) as{TypeError,ForNonNullableByDefault} (core::int, core::int?) → core::int);

4
pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart.weak.transformed.expect
View file

@ -47,10 +47,10 @@ static method test() → dynamic {
^" in self::alias<core::int>;
(core::int, core::int?) → core::int h = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:19:27: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
int Function(int, int?) h = c;
^" in let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>;
^" in (let final self::Class #t1 = c in #t1 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t1.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>;
g = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:20:3: Error: A value of type 'int Function(int, int)' can't be assigned to a variable of type 'int Function(int, int?)?' because 'int?' is nullable and 'int' isn't.
g = c;
^" in let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%}<core::int>;
^" in (let final self::Class #t2 = c in #t2 == null ?{<T extends core::Object? = dynamic>(T%, core::int) → T%} null : #t2.{self::Class::call}{<T extends core::Object? = dynamic>(T%, core::int) → T%})<core::int>;
self::method(invalid-expression "pkg/front_end/testcases/constructor_tearoffs/implicit_instantiation_errors.dart:21:10: Error: The argument type 'int Function(int, int)?' can't be assigned to the parameter type 'int Function(int, int?)' because 'int?' is nullable and 'int' isn't.
method(alias);
^" in self::alias<core::int>);

6
pkg/front_end/testcases/constructor_tearoffs/inferred_non_proper_rename.dart.weak.outline.expect
View file

@ -12,13 +12,13 @@ class A<T extends core::Object? = dynamic> extends core::Object {
static final field core::bool inSoundMode;
static const field () → self::A<core::int> f1a = self::A::•<core::int>;
static const field () → self::A<core::int> f1b = self::A::•<core::int>;
static const field () → self::A<core::int> f1c = <X extends core::num>.(self::A::•<X>)<core::int>;
static const field () → self::A<core::int> f1c = (<X extends core::num>.(self::A::•<X>))<core::int>;
static const field () → self::A<core::int> g1a = self::A::•<core::int>;
static const field () → self::A<core::int> g1b = self::A::•<core::int>;
static const field () → self::A<core::int> g1c = <unrelated Y extends core::Object? = dynamic>.(self::A::•<core::int>)<dynamic>;
static const field () → self::A<core::int> g1c = (<unrelated Y extends core::Object? = dynamic>.(self::A::•<core::int>))<dynamic>;
static const field () → self::A<core::int> h1a = self::A::•<core::int>;
static const field () → self::A<core::int> h1b = self::A::•<core::int>;
static const field () → self::A<core::int> h1c = <X extends core::Object? = dynamic, unrelated Y extends core::Object? = dynamic>.(self::A::•<X%>)<core::int, dynamic>;
static const field () → self::A<core::int> h1c = (<X extends core::Object? = dynamic, unrelated Y extends core::Object? = dynamic>.(self::A::•<X%>))<core::int, dynamic>;
static method main() → dynamic
;
static method test<T extends core::num>() → dynamic

6
pkg/front_end/testcases/constructor_tearoffs/issue46719.dart.strong.expect
View file

@ -27,7 +27,7 @@ static method FunctionApplier|applyAndPrint(lowered final core::Function #this,
static method FunctionApplier|get#applyAndPrint(lowered final core::Function #this) → (core::List<core::Object?>) → void
return (core::List<core::Object?> positionalArguments) → void => self::FunctionApplier|applyAndPrint(#this, positionalArguments);
static method test() → dynamic {
(#C3).{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
static method main() → void {
self::A<dynamic> a = new self::A::•<dynamic>();
@ -39,8 +39,8 @@ static method main() → void {
self::FunctionApplier|applyAndPrint(#C9, <core::Object?>["three"]);
self::FunctionApplier|applyAndPrint(#C5, <core::Object?>[2]);
self::FunctionApplier|applyAndPrint(#C6, <core::Object?>["three"]);
(#C2).{core::Object::toString}(){() → core::String};
(#C3).{core::Object::toString}(){() → core::String};
#C2.{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/issue46719.dart.strong.transformed.expect
View file

@ -27,7 +27,7 @@ static method FunctionApplier|applyAndPrint(lowered final core::Function #this,
static method FunctionApplier|get#applyAndPrint(lowered final core::Function #this) → (core::List<core::Object?>) → void
return (core::List<core::Object?> positionalArguments) → void => self::FunctionApplier|applyAndPrint(#this, positionalArguments);
static method test() → dynamic {
(#C3).{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
static method main() → void {
self::A<dynamic> a = new self::A::•<dynamic>();
@ -39,8 +39,8 @@ static method main() → void {
self::FunctionApplier|applyAndPrint(#C9, core::_GrowableList::_literal1<core::Object?>("three"));
self::FunctionApplier|applyAndPrint(#C5, core::_GrowableList::_literal1<core::Object?>(2));
self::FunctionApplier|applyAndPrint(#C6, core::_GrowableList::_literal1<core::Object?>("three"));
(#C2).{core::Object::toString}(){() → core::String};
(#C3).{core::Object::toString}(){() → core::String};
#C2.{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/issue46719.dart.weak.expect
View file

@ -27,7 +27,7 @@ static method FunctionApplier|applyAndPrint(lowered final core::Function #this,
static method FunctionApplier|get#applyAndPrint(lowered final core::Function #this) → (core::List<core::Object?>) → void
return (core::List<core::Object?> positionalArguments) → void => self::FunctionApplier|applyAndPrint(#this, positionalArguments);
static method test() → dynamic {
(#C3).{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
static method main() → void {
self::A<dynamic> a = new self::A::•<dynamic>();
@ -39,8 +39,8 @@ static method main() → void {
self::FunctionApplier|applyAndPrint(#C9, <core::Object?>["three"]);
self::FunctionApplier|applyAndPrint(#C5, <core::Object?>[2]);
self::FunctionApplier|applyAndPrint(#C6, <core::Object?>["three"]);
(#C2).{core::Object::toString}(){() → core::String};
(#C3).{core::Object::toString}(){() → core::String};
#C2.{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/issue46719.dart.weak.transformed.expect
View file

@ -27,7 +27,7 @@ static method FunctionApplier|applyAndPrint(lowered final core::Function #this,
static method FunctionApplier|get#applyAndPrint(lowered final core::Function #this) → (core::List<core::Object?>) → void
return (core::List<core::Object?> positionalArguments) → void => self::FunctionApplier|applyAndPrint(#this, positionalArguments);
static method test() → dynamic {
(#C3).{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
static method main() → void {
self::A<dynamic> a = new self::A::•<dynamic>();
@ -39,8 +39,8 @@ static method main() → void {
self::FunctionApplier|applyAndPrint(#C9, core::_GrowableList::_literal1<core::Object?>("three"));
self::FunctionApplier|applyAndPrint(#C5, core::_GrowableList::_literal1<core::Object?>(2));
self::FunctionApplier|applyAndPrint(#C6, core::_GrowableList::_literal1<core::Object?>("three"));
(#C2).{core::Object::toString}(){() → core::String};
(#C3).{core::Object::toString}(){() → core::String};
#C2.{core::Object::toString}(){() → core::String};
#C3.{core::Object::toString}(){() → core::String};
}
constants {

2
pkg/front_end/testcases/constructor_tearoffs/issue46887.dart.strong.expect
View file

@ -10,7 +10,7 @@ static method a<T1 extends core::Object? = dynamic, T2 extends core::Object? = d
return "a<${self::a::T1%}, ${self::a::T2%}>(${x})";
}
static method main() → dynamic {
self::expect("${#C3}, null", self::f((#C3).{core::Object::toString}(){() → core::String}));
self::expect("${#C3}, null", self::f(#C3.{core::Object::toString}(){() → core::String}));
}
static method expect(dynamic expected, dynamic actual) → dynamic {
if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual))

2
pkg/front_end/testcases/constructor_tearoffs/issue46887.dart.strong.transformed.expect
View file

@ -10,7 +10,7 @@ static method a<T1 extends core::Object? = dynamic, T2 extends core::Object? = d
return "a<${self::a::T1%}, ${self::a::T2%}>(${x})";
}
static method main() → dynamic {
self::expect("${#C3}, null", self::f((#C3).{core::Object::toString}(){() → core::String}));
self::expect("${#C3}, null", self::f(#C3.{core::Object::toString}(){() → core::String}));
}
static method expect(dynamic expected, dynamic actual) → dynamic {
if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual))

2
pkg/front_end/testcases/constructor_tearoffs/issue46887.dart.weak.expect
View file

@ -10,7 +10,7 @@ static method a<T1 extends core::Object? = dynamic, T2 extends core::Object? = d
return "a<${self::a::T1%}, ${self::a::T2%}>(${x})";
}
static method main() → dynamic {
self::expect("${#C3}, null", self::f((#C3).{core::Object::toString}(){() → core::String}));
self::expect("${#C3}, null", self::f(#C3.{core::Object::toString}(){() → core::String}));
}
static method expect(dynamic expected, dynamic actual) → dynamic {
if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual))

2
pkg/front_end/testcases/constructor_tearoffs/issue46887.dart.weak.transformed.expect
View file

@ -10,7 +10,7 @@ static method a<T1 extends core::Object? = dynamic, T2 extends core::Object? = d
return "a<${self::a::T1%}, ${self::a::T2%}>(${x})";
}
static method main() → dynamic {
self::expect("${#C3}, null", self::f((#C3).{core::Object::toString}(){() → core::String}));
self::expect("${#C3}, null", self::f(#C3.{core::Object::toString}(){() → core::String}));
}
static method expect(dynamic expected, dynamic actual) → dynamic {
if(!(expected =={core::Object::==}{(core::Object) → core::bool} actual))

2
pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart.strong.expect
View file

@ -23,7 +23,7 @@ static method /* from org-dartlang-testcase:///constructor_tear_off_uri_part.dar
(core::int) → self::Class f = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri_part.dart:8:27: Error: A value of type 'Class Function()' can't be assigned to a variable of type 'Class Function(int)'.
- 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart'.
Class Function(int) f = Class.new;
^" in (#C1) as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
^" in #C1 as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
}
constants {

2
pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart.strong.transformed.expect
View file

@ -23,7 +23,7 @@ static method /* from org-dartlang-testcase:///constructor_tear_off_uri_part.dar
(core::int) → self::Class f = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri_part.dart:8:27: Error: A value of type 'Class Function()' can't be assigned to a variable of type 'Class Function(int)'.
- 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart'.
Class Function(int) f = Class.new;
^" in (#C1) as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
^" in #C1 as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
}
constants {

2
pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart.weak.expect
View file

@ -23,7 +23,7 @@ static method /* from org-dartlang-testcase:///constructor_tear_off_uri_part.dar
(core::int) → self::Class f = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri_part.dart:8:27: Error: A value of type 'Class Function()' can't be assigned to a variable of type 'Class Function(int)'.
- 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart'.
Class Function(int) f = Class.new;
^" in (#C1) as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
^" in #C1 as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
}
constants {

2
pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart.weak.transformed.expect
View file

@ -23,7 +23,7 @@ static method /* from org-dartlang-testcase:///constructor_tear_off_uri_part.dar
(core::int) → self::Class f = invalid-expression "pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri_part.dart:8:27: Error: A value of type 'Class Function()' can't be assigned to a variable of type 'Class Function(int)'.
- 'Class' is from 'pkg/front_end/testcases/constructor_tearoffs/lowering/constructor_tear_off_uri.dart'.
Class Function(int) f = Class.new;
^" in (#C1) as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
^" in #C1 as{TypeError,ForNonNullableByDefault} (core::int) → self::Class;
}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart.strong.expect
View file

@ -36,21 +36,21 @@ static method test2() → () → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:13:25: Error: A value of type 'A Function(int)' can't be returned from a function with return type 'A Function()'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function() test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} () → self::A;
^" in #C2 as{TypeError,ForNonNullableByDefault} () → self::A;
static method test3() → () → self::A
return #C3;
static method test4() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:15:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test4() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C3 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method test5() → () → self::A
return #C4;
static method test6() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:17:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test6() => A.bar1; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C4 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method main() → dynamic {}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart.strong.transformed.expect
View file

@ -36,21 +36,21 @@ static method test2() → () → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:13:25: Error: A value of type 'A Function(int)' can't be returned from a function with return type 'A Function()'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function() test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} () → self::A;
^" in #C2 as{TypeError,ForNonNullableByDefault} () → self::A;
static method test3() → () → self::A
return #C3;
static method test4() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:15:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test4() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C3 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method test5() → () → self::A
return #C4;
static method test6() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:17:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test6() => A.bar1; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C4 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method main() → dynamic {}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart.weak.expect
View file

@ -36,21 +36,21 @@ static method test2() → () → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:13:25: Error: A value of type 'A Function(int)' can't be returned from a function with return type 'A Function()'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function() test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} () → self::A;
^" in #C2 as{TypeError,ForNonNullableByDefault} () → self::A;
static method test3() → () → self::A
return #C3;
static method test4() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:15:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test4() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C3 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method test5() → () → self::A
return #C4;
static method test6() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:17:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test6() => A.bar1; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C4 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method main() → dynamic {}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart.weak.transformed.expect
View file

@ -36,21 +36,21 @@ static method test2() → () → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:13:25: Error: A value of type 'A Function(int)' can't be returned from a function with return type 'A Function()'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function() test2() => A.foo2; // Error.
^" in (#C2) as{TypeError,ForNonNullableByDefault} () → self::A;
^" in #C2 as{TypeError,ForNonNullableByDefault} () → self::A;
static method test3() → () → self::A
return #C3;
static method test4() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:15:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test4() => A.new; // Error.
^" in (#C3) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C3 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method test5() → () → self::A
return #C4;
static method test6() → (core::int) → self::A
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart:17:28: Error: A value of type 'A Function()' can't be returned from a function with return type 'A Function(int)'.
- 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_with_context.dart'.
A Function(int) test6() => A.bar1; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
^" in #C4 as{TypeError,ForNonNullableByDefault} (core::int) → self::A;
static method main() → dynamic {}
constants {

6
pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart.strong.expect
View file

@ -78,7 +78,7 @@ static method test9() → () → self::B<core::num>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:33:30: Error: A value of type 'B<String> Function()' can't be returned from a function with return type 'B<num> Function()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<num> Function() test9() => DB1.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
^" in #C4 as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
static method test10() → () → self::B<core::String>
return #C6;
static method test11() → () → self::B<core::String>
@ -100,7 +100,7 @@ B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:42:32: Error: A value of type 'B<X> Function<X extends num>()' can't be assigned to a variable of type 'B<Y> Function<Y>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in (#C12) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C12 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
static method test18() → () → self::B<core::num>
return #C9;
static method test19() → () → self::B<core::num>
@ -118,7 +118,7 @@ B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:49:35: Error: A value of type 'B<X> Function<X extends num, Y extends String>()' can't be assigned to a variable of type 'B<Y> Function<Y, Z>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in (#C13) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C13 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
static method test24() → () → self::B<core::String>
return #C14;
static method main() → dynamic {}

6
pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart.strong.transformed.expect
View file

@ -78,7 +78,7 @@ static method test9() → () → self::B<core::num>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:33:30: Error: A value of type 'B<String> Function()' can't be returned from a function with return type 'B<num> Function()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<num> Function() test9() => DB1.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
^" in #C4 as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
static method test10() → () → self::B<core::String>
return #C6;
static method test11() → () → self::B<core::String>
@ -100,7 +100,7 @@ B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:42:32: Error: A value of type 'B<X> Function<X extends num>()' can't be assigned to a variable of type 'B<Y> Function<Y>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in (#C12) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C12 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
static method test18() → () → self::B<core::num>
return #C9;
static method test19() → () → self::B<core::num>
@ -118,7 +118,7 @@ B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:49:35: Error: A value of type 'B<X> Function<X extends num, Y extends String>()' can't be assigned to a variable of type 'B<Y> Function<Y, Z>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in (#C13) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C13 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
static method test24() → () → self::B<core::String>
return #C14;
static method main() → dynamic {}

6
pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart.weak.expect
View file

@ -78,7 +78,7 @@ static method test9() → () → self::B<core::num>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:33:30: Error: A value of type 'B<String> Function()' can't be returned from a function with return type 'B<num> Function()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<num> Function() test9() => DB1.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
^" in #C4 as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
static method test10() → () → self::B<core::String>
return #C6;
static method test11() → () → self::B<core::String>
@ -100,7 +100,7 @@ B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:42:32: Error: A value of type 'B<X> Function<X extends num>()' can't be assigned to a variable of type 'B<Y> Function<Y>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in (#C12) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C12 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
static method test18() → () → self::B<core::num>
return #C9;
static method test19() → () → self::B<core::num>
@ -118,7 +118,7 @@ B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:49:35: Error: A value of type 'B<X> Function<X extends num, Y extends String>()' can't be assigned to a variable of type 'B<Y> Function<Y, Z>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in (#C13) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C13 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%> as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
static method test24() → () → self::B<core::String>
return #C14;
static method main() → dynamic {}

6
pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart.weak.transformed.expect
View file

@ -78,7 +78,7 @@ static method test9() → () → self::B<core::num>
return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:33:30: Error: A value of type 'B<String> Function()' can't be returned from a function with return type 'B<num> Function()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<num> Function() test9() => DB1.new; // Error.
^" in (#C4) as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
^" in #C4 as{TypeError,ForNonNullableByDefault} () → self::B<core::num>;
static method test10() → () → self::B<core::String>
return #C6;
static method test11() → () → self::B<core::String>
@ -100,7 +100,7 @@ B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:42:32: Error: A value of type 'B<X> Function<X extends num>()' can't be assigned to a variable of type 'B<Y> Function<Y>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y>() test17() => DB2.new; // Error.
^" in (#C12) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C12 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic>() → self::B<Y%>;
static method test18() → () → self::B<core::num>
return #C9;
static method test19() → () → self::B<core::num>
@ -118,7 +118,7 @@ B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in invalid-expression "pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart:49:35: Error: A value of type 'B<X> Function<X extends num, Y extends String>()' can't be assigned to a variable of type 'B<Y> Function<Y, Z>()'.
- 'B' is from 'pkg/front_end/testcases/constructor_tearoffs/typedef_tearoffs.dart'.
B<Y> Function<Y, Z>() test23() => DB3.new; // Error.
^" in (#C13) as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
^" in #C13 as{TypeError,ForNonNullableByDefault} <Y extends core::Object? = dynamic, Z extends core::Object? = dynamic>() → self::B<Y%>;
static method test24() → () → self::B<core::String>
return #C14;
static method main() → dynamic {}

2
pkg/front_end/testcases/expression/const_usage.expression.yaml.expect
View file

@ -1,7 +1,7 @@
Errors: {
}
method /* from org-dartlang-debug:synthetic_debug_expression */ debugExpr() → dynamic
return (#C2).{main::ConstClass::x}{dart.core::int*};
return #C2.{main::ConstClass::x}{dart.core::int*};
constants {
#C1 = 42
#C2 = main::ConstClass {x:#C1}

2
pkg/front_end/testcases/expression/const_usage_class.expression.yaml.expect
View file

@ -1,7 +1,7 @@
Errors: {
}
method /* from org-dartlang-debug:synthetic_debug_expression */ debugExpr() → dynamic
return (#C2).{main::ConstClass::x}{dart.core::int*};
return #C2.{main::ConstClass::x}{dart.core::int*};
constants {
#C1 = 42
#C2 = main::ConstClass {x:#C1}

2
pkg/front_end/testcases/extensions/type_variable_bound.dart.weak.expect
View file

@ -45,7 +45,7 @@ static method test1<T extends core::Object* = dynamic>(self::test1::T* t1) → s
return new self::Class::•();
}
static method test2<T extends self::Class*>(self::test2::T* t2) → dynamic {
if(self::test2::T* =={core::Type::==}{(core::Object*) →* core::bool*} (#C1)) {
if(self::test2::T* =={core::Type::==}{(core::Object*) →* core::bool*} #C1) {
self::SubClass* subClass = self::BoundExtension|method2<self::Class*>(t2) as{TypeError} self::SubClass*;
}
}

2
pkg/front_end/testcases/extensions/type_variable_bound.dart.weak.transformed.expect
View file

@ -45,7 +45,7 @@ static method test1<T extends core::Object* = dynamic>(self::test1::T* t1) → s
return new self::Class::•();
}
static method test2<T extends self::Class*>(self::test2::T* t2) → dynamic {
if(self::test2::T* =={core::Type::==}{(core::Object*) →* core::bool*} (#C1)) {
if(self::test2::T* =={core::Type::==}{(core::Object*) →* core::bool*} #C1) {
self::SubClass* subClass = self::BoundExtension|method2<self::Class*>(t2) as{TypeError} self::SubClass*;
}
}

14
pkg/front_end/testcases/general/DeltaBlue.dart.weak.expect
View file

@ -28,7 +28,7 @@ class Strength extends core::Object /*hasConstConstructor*/ {
: self::Strength::value = value, self::Strength::name = name, super core::Object::•()
;
method nextWeaker() → self::Strength*
return (#C19).{core::List::[]}(this.{self::Strength::value}{core::int*}){(core::int*) →* self::Strength*};
return #C19.{core::List::[]}(this.{self::Strength::value}{core::int*}){(core::int*) →* self::Strength*};
static method stronger(self::Strength* s1, self::Strength* s2) → core::bool* {
return s1.{self::Strength::value}{core::int*}.{core::num::<}(s2.{self::Strength::value}{core::int*}){(core::num*) →* core::bool*};
}
@ -74,7 +74,7 @@ abstract class Constraint extends core::Object /*hasConstConstructor*/ {
method satisfy(dynamic mark) → self::Constraint* {
this.{self::Constraint::chooseMethod}(mark as{TypeError,ForDynamic} core::int*){(core::int*) →* void};
if(!this.{self::Constraint::isSatisfied}(){() →* core::bool*}) {
if(this.{self::Constraint::strength}{self::Strength*} =={self::Strength::==}{(dynamic) →* core::bool*} (#C22)) {
if(this.{self::Constraint::strength}{self::Strength*} =={self::Strength::==}{(dynamic) →* core::bool*} #C22) {
core::print("Could not satisfy a required constraint!");
}
return null;
@ -186,14 +186,14 @@ abstract class BinaryConstraint extends self::Constraint {
this.{self::BinaryConstraint::direction} = #C1;
}
method isSatisfied() → core::bool*
return !(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C1));
return !(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C1);
method markInputs(core::int* mark) → void {
this.{self::BinaryConstraint::input}(){() →* self::Variable*}.{self::Variable::mark} = mark;
}
method input() → self::Variable*
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C4) ?{self::Variable*} this.{self::BinaryConstraint::v1}{self::Variable*} : this.{self::BinaryConstraint::v2}{self::Variable*};
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C4 ?{self::Variable*} this.{self::BinaryConstraint::v1}{self::Variable*} : this.{self::BinaryConstraint::v2}{self::Variable*};
method output() → self::Variable*
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C4) ?{self::Variable*} this.{self::BinaryConstraint::v2}{self::Variable*} : this.{self::BinaryConstraint::v1}{self::Variable*};
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C4 ?{self::Variable*} this.{self::BinaryConstraint::v2}{self::Variable*} : this.{self::BinaryConstraint::v1}{self::Variable*};
method recalculate() → void {
self::Variable* ihn = this.{self::BinaryConstraint::input}(){() →* self::Variable*};
self::Variable* out = this.{self::BinaryConstraint::output}(){() →* self::Variable*};
@ -240,7 +240,7 @@ class ScaleConstraint extends self::BinaryConstraint {
this.{self::ScaleConstraint::scale}{self::Variable*}.{self::Variable::mark} = this.{self::ScaleConstraint::offset}{self::Variable*}.{self::Variable::mark} = mark;
}
method execute() → void {
if(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C4)) {
if(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C4) {
this.{self::BinaryConstraint::v2}{self::Variable*}.{self::Variable::value} = this.{self::BinaryConstraint::v1}{self::Variable*}.{self::Variable::value}{core::int*}.{core::num::*}(this.{self::ScaleConstraint::scale}{self::Variable*}.{self::Variable::value}{core::int*}){(core::num*) →* core::int*}.{core::num::+}(this.{self::ScaleConstraint::offset}{self::Variable*}.{self::Variable::value}{core::int*}){(core::num*) →* core::int*};
}
else {
@ -318,7 +318,7 @@ class Planner extends core::Object {
}
strength = strength.{self::Strength::nextWeaker}(){() →* self::Strength*};
}
while (!(strength =={self::Strength::==}{(dynamic) →* core::bool*} (#C18)))
while (!(strength =={self::Strength::==}{(dynamic) →* core::bool*} #C18))
}
method newMark() → core::int*
return this.{self::Planner::currentMark} = this.{self::Planner::currentMark}{core::int*}.{core::num::+}(1){(core::num*) →* core::int*};

14
pkg/front_end/testcases/general/DeltaBlue.dart.weak.transformed.expect
View file

@ -28,7 +28,7 @@ class Strength extends core::Object /*hasConstConstructor*/ {
: self::Strength::value = value, self::Strength::name = name, super core::Object::•()
;
method nextWeaker() → self::Strength*
return (#C19).{core::List::[]}(this.{self::Strength::value}{core::int*}){(core::int*) →* self::Strength*};
return #C19.{core::List::[]}(this.{self::Strength::value}{core::int*}){(core::int*) →* self::Strength*};
static method stronger(self::Strength* s1, self::Strength* s2) → core::bool* {
return s1.{self::Strength::value}{core::int*}.{core::num::<}(s2.{self::Strength::value}{core::int*}){(core::num*) →* core::bool*};
}
@ -74,7 +74,7 @@ abstract class Constraint extends core::Object /*hasConstConstructor*/ {
method satisfy(dynamic mark) → self::Constraint* {
this.{self::Constraint::chooseMethod}(mark as{TypeError,ForDynamic} core::int*){(core::int*) →* void};
if(!this.{self::Constraint::isSatisfied}(){() →* core::bool*}) {
if(this.{self::Constraint::strength}{self::Strength*} =={self::Strength::==}{(dynamic) →* core::bool*} (#C22)) {
if(this.{self::Constraint::strength}{self::Strength*} =={self::Strength::==}{(dynamic) →* core::bool*} #C22) {
core::print("Could not satisfy a required constraint!");
}
return null;
@ -186,14 +186,14 @@ abstract class BinaryConstraint extends self::Constraint {
this.{self::BinaryConstraint::direction} = #C1;
}
method isSatisfied() → core::bool*
return !(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C1));
return !(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C1);
method markInputs(core::int* mark) → void {
this.{self::BinaryConstraint::input}(){() →* self::Variable*}.{self::Variable::mark} = mark;
}
method input() → self::Variable*
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C4) ?{self::Variable*} this.{self::BinaryConstraint::v1}{self::Variable*} : this.{self::BinaryConstraint::v2}{self::Variable*};
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C4 ?{self::Variable*} this.{self::BinaryConstraint::v1}{self::Variable*} : this.{self::BinaryConstraint::v2}{self::Variable*};
method output() → self::Variable*
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C4) ?{self::Variable*} this.{self::BinaryConstraint::v2}{self::Variable*} : this.{self::BinaryConstraint::v1}{self::Variable*};
return this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C4 ?{self::Variable*} this.{self::BinaryConstraint::v2}{self::Variable*} : this.{self::BinaryConstraint::v1}{self::Variable*};
method recalculate() → void {
self::Variable* ihn = this.{self::BinaryConstraint::input}(){() →* self::Variable*};
self::Variable* out = this.{self::BinaryConstraint::output}(){() →* self::Variable*};
@ -240,7 +240,7 @@ class ScaleConstraint extends self::BinaryConstraint {
this.{self::ScaleConstraint::scale}{self::Variable*}.{self::Variable::mark} = this.{self::ScaleConstraint::offset}{self::Variable*}.{self::Variable::mark} = mark;
}
method execute() → void {
if(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} (#C4)) {
if(this.{self::BinaryConstraint::direction}{core::int*} =={core::num::==}{(core::Object*) →* core::bool*} #C4) {
this.{self::BinaryConstraint::v2}{self::Variable*}.{self::Variable::value} = this.{self::BinaryConstraint::v1}{self::Variable*}.{self::Variable::value}{core::int*}.{core::num::*}(this.{self::ScaleConstraint::scale}{self::Variable*}.{self::Variable::value}{core::int*}){(core::num*) →* core::int*}.{core::num::+}(this.{self::ScaleConstraint::offset}{self::Variable*}.{self::Variable::value}{core::int*}){(core::num*) →* core::int*};
}
else {
@ -318,7 +318,7 @@ class Planner extends core::Object {
}
strength = strength.{self::Strength::nextWeaker}(){() →* self::Strength*};
}
while (!(strength =={self::Strength::==}{(dynamic) →* core::bool*} (#C18)))
while (!(strength =={self::Strength::==}{(dynamic) →* core::bool*} #C18))
}
method newMark() → core::int*
return this.{self::Planner::currentMark} = this.{self::Planner::currentMark}{core::int*}.{core::num::+}(1){(core::num*) →* core::int*};

2
pkg/front_end/testcases/general/bug33099.dart.weak.expect
View file

@ -63,7 +63,7 @@ static const field self::_FailingTest* failingTest = #C1;
static method main() → dynamic {
mir::ClassMirror* classMirror = mir::reflectClass(#C2);
classMirror.{mir::ClassMirror::instanceMembers}{core::Map<core::Symbol*, mir::MethodMirror*>*}.{core::Map::forEach}((core::Symbol* symbol, mir::MethodMirror* memberMirror) → Null {
if(memberMirror.{mir::DeclarationMirror::simpleName}{core::Symbol*} =={core::Symbol::==}{(core::Object*) →* core::bool*} (#C3)) {
if(memberMirror.{mir::DeclarationMirror::simpleName}{core::Symbol*} =={core::Symbol::==}{(core::Object*) →* core::bool*} #C3) {
core::print(memberMirror);
core::print(self::_hasFailingTestAnnotation(memberMirror));
}

2
pkg/front_end/testcases/general/bug33099.dart.weak.transformed.expect
View file

@ -63,7 +63,7 @@ static const field self::_FailingTest* failingTest = #C1;
static method main() → dynamic {
mir::ClassMirror* classMirror = mir::reflectClass(#C2);
classMirror.{mir::ClassMirror::instanceMembers}{core::Map<core::Symbol*, mir::MethodMirror*>*}.{core::Map::forEach}((core::Symbol* symbol, mir::MethodMirror* memberMirror) → Null {
if(memberMirror.{mir::DeclarationMirror::simpleName}{core::Symbol*} =={core::Symbol::==}{(core::Object*) →* core::bool*} (#C3)) {
if(memberMirror.{mir::DeclarationMirror::simpleName}{core::Symbol*} =={core::Symbol::==}{(core::Object*) →* core::bool*} #C3) {
core::print(memberMirror);
core::print(self::_hasFailingTestAnnotation(memberMirror));
}

2
pkg/front_end/testcases/general/constants/const_asserts.dart.weak.expect
View file

@ -127,7 +127,7 @@ import "dart:core" as core;
class Foo extends core::Object /*hasConstConstructor*/ {
final field core::int* x;
const constructor •(core::int* x) → self::Foo*
: self::Foo::x = x, assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, "x is not positive"), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, ""), assert((#C1) =={core::Object::==}{(core::Object*) →* core::bool*} false, "foo was ${#C1}"), assert((#C1) =={core::Object::==}{(core::Object*) →* core::bool*} false), super core::Object::•()
: self::Foo::x = x, assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, "x is not positive"), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, ""), assert(#C1 =={core::Object::==}{(core::Object*) →* core::bool*} false, "foo was ${#C1}"), assert(#C1 =={core::Object::==}{(core::Object*) →* core::bool*} false), super core::Object::•()
;
const constructor withMessage(core::int* x) → self::Foo*
: self::Foo::x = x, assert(x.{core::num::<}(0){(core::num*) →* core::bool*}, "btw foo was ${#C1}"), super core::Object::•()

2
pkg/front_end/testcases/general/constants/const_asserts.dart.weak.transformed.expect
View file

@ -127,7 +127,7 @@ import "dart:core" as core;
class Foo extends core::Object /*hasConstConstructor*/ {
final field core::int* x;
const constructor •(core::int* x) → self::Foo*
: self::Foo::x = x, assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, "x is not positive"), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, ""), assert((#C1) =={core::Object::==}{(core::Object*) →* core::bool*} false, "foo was ${#C1}"), assert((#C1) =={core::Object::==}{(core::Object*) →* core::bool*} false), super core::Object::•()
: self::Foo::x = x, assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, "x is not positive"), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}), assert(x.{core::num::>}(0){(core::num*) →* core::bool*}, ""), assert(#C1 =={core::Object::==}{(core::Object*) →* core::bool*} false, "foo was ${#C1}"), assert(#C1 =={core::Object::==}{(core::Object*) →* core::bool*} false), super core::Object::•()
;
const constructor withMessage(core::int* x) → self::Foo*
: self::Foo::x = x, assert(x.{core::num::<}(0){(core::num*) →* core::bool*}, "btw foo was ${#C1}"), super core::Object::•()

4
pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/const_asserts.dart.weak.expect
View file

@ -72,7 +72,7 @@ import "dart:core" as core;
class Foo extends core::Object /*hasConstConstructor*/ {
final field core::int x;
const constructor •(core::int x) → self::Foo
: self::Foo::x = x, assert(x.{core::num::>}(0){(core::num) → core::bool}, "x is not positive"), assert(x.{core::num::>}(0){(core::num) → core::bool}), assert((#C2) =={core::Object::==}{(core::Object) → core::bool} false, "foo was ${#C3}"), assert((#C4) =={core::Object::==}{(core::Object) → core::bool} false), super core::Object::•()
: self::Foo::x = x, assert(x.{core::num::>}(0){(core::num) → core::bool}, "x is not positive"), assert(x.{core::num::>}(0){(core::num) → core::bool}), assert(#C2 =={core::Object::==}{(core::Object) → core::bool} false, "foo was ${#C3}"), assert(#C4 =={core::Object::==}{(core::Object) → core::bool} false), super core::Object::•()
;
const constructor withMessage(core::int x) → self::Foo
: self::Foo::x = x, assert(x.{core::num::<}(0){(core::num) → core::bool}, "btw foo was ${#C5}"), super core::Object::•()
@ -119,7 +119,7 @@ constants {
#C6 = 1
#C7 = false
#C8 = "foo was "
#C9 = eval self::Foo{x:#C6, assert(const core::bool::fromEnvironment(#C1) =={core::Object::==}{(core::Object) → core::bool} (#C7), "${#C8}${const core::bool::fromEnvironment(#C1)}"), assert(const core::bool::fromEnvironment(#C1) =={core::Object::==}{(core::Object) → core::bool} (#C7))}
#C9 = eval self::Foo{x:#C6, assert(const core::bool::fromEnvironment(#C1) =={core::Object::==}{(core::Object) → core::bool} #C7, "${#C8}${const core::bool::fromEnvironment(#C1)}"), assert(const core::bool::fromEnvironment(#C1) =={core::Object::==}{(core::Object) → core::bool} #C7)}
#C10 = 42
#C11 = "btw foo was "
#C12 = eval self::Foo{x:#C10, assert(#C7, "${#C11}${const core::bool::fromEnvironment(#C1)}")}

Some files were not shown because too many files have changed in this diff Show more