[fasta] Update expectation files after CL 50945
Change-Id: I639fe81e848bec4a3d8735f55750d59eb422763d
Reviewed-on: https://dart-review.googlesource.com/54246
Reviewed-by: Samir Jindel <sjindel@google.com>
Commit-Queue: Dmitry Stefantsov <dmitryas@google.com>
diff --git a/pkg/front_end/testcases/inference/generic_methods_correctly_recognize_generic_upper_bound.dart.strong.expect b/pkg/front_end/testcases/inference/generic_methods_correctly_recognize_generic_upper_bound.dart.strong.expect
index 9daa0ae..74cc102 100644
--- a/pkg/front_end/testcases/inference/generic_methods_correctly_recognize_generic_upper_bound.dart.strong.expect
+++ b/pkg/front_end/testcases/inference/generic_methods_correctly_recognize_generic_upper_bound.dart.strong.expect
@@ -6,7 +6,7 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method method<generic-covariant-impl U extends self::Foo::T = dynamic>(self::Foo::method::U u) → self::Foo::method::U
+ method method<generic-covariant-impl U extends self::Foo::T = self::Foo::T>(self::Foo::method::U u) → self::Foo::method::U
return u;
}
static method main() → dynamic {
diff --git a/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.expect b/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.expect
index 7572fdd..39a38a2 100644
--- a/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.expect
+++ b/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.expect
@@ -7,7 +7,7 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method m<T extends core::num = dynamic>(self::C::m::T x, self::C::m::T y) → self::C::m::T
+ method m<T extends core::num = core::num>(self::C::m::T x, self::C::m::T y) → self::C::m::T
return null;
}
static method test() → dynamic {
diff --git a/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.transformed.expect b/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.transformed.expect
index a687df6..4a4c032 100644
--- a/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.transformed.expect
@@ -7,7 +7,7 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method m<T extends core::num = dynamic>(self::C::m::T x, self::C::m::T y) → self::C::m::T
+ method m<T extends core::num = core::num>(self::C::m::T x, self::C::m::T y) → self::C::m::T
return null;
}
static method test() → dynamic {
diff --git a/pkg/front_end/testcases/inference/promote_bounds.dart.strong.expect b/pkg/front_end/testcases/inference/promote_bounds.dart.strong.expect
index a25cdbd..0c5b98a 100644
--- a/pkg/front_end/testcases/inference/promote_bounds.dart.strong.expect
+++ b/pkg/front_end/testcases/inference/promote_bounds.dart.strong.expect
@@ -14,7 +14,7 @@
;
abstract method bar() → void;
}
-static method f<T extends self::B = dynamic>(self::f::T a) → void {
+static method f<T extends self::B = self::B>(self::f::T a) → void {
if(a is core::String) {
a.{self::B::foo}();
}
diff --git a/pkg/front_end/testcases/inference/promote_bounds.dart.strong.transformed.expect b/pkg/front_end/testcases/inference/promote_bounds.dart.strong.transformed.expect
index a25cdbd..0c5b98a 100644
--- a/pkg/front_end/testcases/inference/promote_bounds.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/inference/promote_bounds.dart.strong.transformed.expect
@@ -14,7 +14,7 @@
;
abstract method bar() → void;
}
-static method f<T extends self::B = dynamic>(self::f::T a) → void {
+static method f<T extends self::B = self::B>(self::f::T a) → void {
if(a is core::String) {
a.{self::B::foo}();
}
diff --git a/pkg/front_end/testcases/regress/issue_31766.dart.strong.expect b/pkg/front_end/testcases/regress/issue_31766.dart.strong.expect
index 33b060d..494d91f 100644
--- a/pkg/front_end/testcases/regress/issue_31766.dart.strong.expect
+++ b/pkg/front_end/testcases/regress/issue_31766.dart.strong.expect
@@ -10,11 +10,11 @@
return null;
}
static method main() → dynamic {
- function bar<T extends self::A = dynamic>(T t) → void {
+ function bar<T extends self::A = self::A>(T t) → void {
core::print("t.foo()=${t.{self::A::foo}()}");
}
bar.call<self::A>(new self::A::•());
- (<S extends self::A = dynamic>(S s) → core::Null {
+ (<S extends self::A = self::A>(S s) → core::Null {
core::print("s.foo()=${s.{self::A::foo}()}");
}).call<self::A>(new self::A::•());
}
diff --git a/pkg/front_end/testcases/regress/issue_31766.dart.strong.transformed.expect b/pkg/front_end/testcases/regress/issue_31766.dart.strong.transformed.expect
index 33b060d..494d91f 100644
--- a/pkg/front_end/testcases/regress/issue_31766.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/regress/issue_31766.dart.strong.transformed.expect
@@ -10,11 +10,11 @@
return null;
}
static method main() → dynamic {
- function bar<T extends self::A = dynamic>(T t) → void {
+ function bar<T extends self::A = self::A>(T t) → void {
core::print("t.foo()=${t.{self::A::foo}()}");
}
bar.call<self::A>(new self::A::•());
- (<S extends self::A = dynamic>(S s) → core::Null {
+ (<S extends self::A = self::A>(S s) → core::Null {
core::print("s.foo()=${s.{self::A::foo}()}");
}).call<self::A>(new self::A::•());
}
diff --git a/pkg/front_end/testcases/regress/issue_31846.dart.strong.expect b/pkg/front_end/testcases/regress/issue_31846.dart.strong.expect
index fc1a7b3..6f08277 100644
--- a/pkg/front_end/testcases/regress/issue_31846.dart.strong.expect
+++ b/pkg/front_end/testcases/regress/issue_31846.dart.strong.expect
@@ -5,6 +5,6 @@
static method main() → dynamic {
core::print(self::main is () → dynamic);
core::print((<T extends core::Object = dynamic>(T x) → T => x).{core::Object::runtimeType});
- core::print((<T extends core::num = dynamic>(T x) → T => x).{core::Object::runtimeType});
- core::print((<T extends core::Comparable<T> = dynamic>(T x) → T => x).{core::Object::runtimeType});
+ core::print((<T extends core::num = core::num>(T x) → T => x).{core::Object::runtimeType});
+ core::print((<T extends core::Comparable<T> = core::Comparable<dynamic>>(T x) → T => x).{core::Object::runtimeType});
}
diff --git a/pkg/front_end/testcases/regress/issue_31846.dart.strong.transformed.expect b/pkg/front_end/testcases/regress/issue_31846.dart.strong.transformed.expect
index fc1a7b3..6f08277 100644
--- a/pkg/front_end/testcases/regress/issue_31846.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/regress/issue_31846.dart.strong.transformed.expect
@@ -5,6 +5,6 @@
static method main() → dynamic {
core::print(self::main is () → dynamic);
core::print((<T extends core::Object = dynamic>(T x) → T => x).{core::Object::runtimeType});
- core::print((<T extends core::num = dynamic>(T x) → T => x).{core::Object::runtimeType});
- core::print((<T extends core::Comparable<T> = dynamic>(T x) → T => x).{core::Object::runtimeType});
+ core::print((<T extends core::num = core::num>(T x) → T => x).{core::Object::runtimeType});
+ core::print((<T extends core::Comparable<T> = core::Comparable<dynamic>>(T x) → T => x).{core::Object::runtimeType});
}
diff --git a/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.expect b/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.expect
index 9ca2a67..798b35d 100644
--- a/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.expect
+++ b/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.expect
@@ -7,7 +7,7 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method f<U extends (self::C::T) → void = dynamic>(self::C::f::U x) → void {}
+ method f<U extends (self::C::T) → void = (self::C::T) → void>(self::C::f::U x) → void {}
}
static method g(self::C<core::num> c) → void {
c.{self::C::f}<(core::Object) → void>((core::Object o) → core::Null {});
diff --git a/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.transformed.expect b/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.transformed.expect
index 9ca2a67..798b35d 100644
--- a/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/runtime_checks/contravariant_generic_method_type_parameter.dart.strong.transformed.expect
@@ -7,7 +7,7 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method f<U extends (self::C::T) → void = dynamic>(self::C::f::U x) → void {}
+ method f<U extends (self::C::T) → void = (self::C::T) → void>(self::C::f::U x) → void {}
}
static method g(self::C<core::num> c) → void {
c.{self::C::f}<(core::Object) → void>((core::Object o) → core::Null {});
diff --git a/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.expect b/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.expect
index b8a0214..8427437 100644
--- a/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.expect
+++ b/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.expect
@@ -6,8 +6,8 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method f<generic-covariant-impl U extends self::C::T = dynamic>(self::C::f::U x) → void {}
- method g1<generic-covariant-impl U extends self::C::T = dynamic>() → void {
+ method f<generic-covariant-impl U extends self::C::T = self::C::T>(self::C::f::U x) → void {}
+ method g1<generic-covariant-impl U extends self::C::T = self::C::T>() → void {
this.{self::C::f}<self::C::g1::U>(let final dynamic #t1 = let dynamic _ = null in invalid-expression "pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart:11:15: Error: A value of type 'dart.core::double' can't be assigned to a variable of type 'test::C::g1::U'.
Try changing the type of the left hand side, or casting the right hand side to 'test::C::g1::U'.
this.f<U>(1.5);
diff --git a/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.transformed.expect b/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.transformed.expect
index 91a46da..b595fdf 100644
--- a/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart.strong.transformed.expect
@@ -6,8 +6,8 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method f<generic-covariant-impl U extends self::C::T = dynamic>(self::C::f::U x) → void {}
- method g1<generic-covariant-impl U extends self::C::T = dynamic>() → void {
+ method f<generic-covariant-impl U extends self::C::T = self::C::T>(self::C::f::U x) → void {}
+ method g1<generic-covariant-impl U extends self::C::T = self::C::T>() → void {
this.{self::C::f}<self::C::g1::U>(let final dynamic #t1 = let<BottomType> _ = null in invalid-expression "pkg/front_end/testcases/runtime_checks/covariant_generic_method_type_parameter.dart:11:15: Error: A value of type 'dart.core::double' can't be assigned to a variable of type 'test::C::g1::U'.
Try changing the type of the left hand side, or casting the right hand side to 'test::C::g1::U'.
this.f<U>(1.5);
diff --git a/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.expect b/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.expect
index bddd915..f5a72bc 100644
--- a/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.expect
+++ b/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.expect
@@ -6,7 +6,7 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method f<generic-covariant-impl U extends self::C::T = dynamic>(self::C::f::U x) → void {}
+ method f<generic-covariant-impl U extends self::C::T = self::C::T>(self::C::f::U x) → void {}
}
static method g1(dynamic d) → void {
d.f<core::num>(1.5);
diff --git a/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.transformed.expect b/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.transformed.expect
index bddd915..f5a72bc 100644
--- a/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/runtime_checks/dynamic_invocation_generic.dart.strong.transformed.expect
@@ -6,7 +6,7 @@
synthetic constructor •() → void
: super core::Object::•()
;
- method f<generic-covariant-impl U extends self::C::T = dynamic>(self::C::f::U x) → void {}
+ method f<generic-covariant-impl U extends self::C::T = self::C::T>(self::C::f::U x) → void {}
}
static method g1(dynamic d) → void {
d.f<core::num>(1.5);
diff --git a/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.expect b/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.expect
index 89abbed..452359a 100644
--- a/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.expect
+++ b/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.expect
@@ -8,7 +8,7 @@
;
method f(generic-covariant-impl self::B::T x) → void {}
method g({generic-covariant-impl self::B::T x = null}) → void {}
- method h<generic-covariant-impl U extends self::B::T = dynamic>() → void {}
+ method h<generic-covariant-impl U extends self::B::T = self::B::T>() → void {}
}
class C extends self::B<core::int> {
synthetic constructor •() → void
diff --git a/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.transformed.expect b/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.transformed.expect
index 89abbed..452359a 100644
--- a/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/runtime_checks_new/derived_class_typed.dart.strong.transformed.expect
@@ -8,7 +8,7 @@
;
method f(generic-covariant-impl self::B::T x) → void {}
method g({generic-covariant-impl self::B::T x = null}) → void {}
- method h<generic-covariant-impl U extends self::B::T = dynamic>() → void {}
+ method h<generic-covariant-impl U extends self::B::T = self::B::T>() → void {}
}
class C extends self::B<core::int> {
synthetic constructor •() → void