| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/redirecting_initializer_arguments_assignable2.dart:13:42: Error: The argument type 'X' can't be assigned to the parameter type 'T'. |
| // - 'X' is from 'pkg/front_end/testcases/general/redirecting_initializer_arguments_assignable2.dart'. |
| // Foo.fromX(X _init) : this._internal(x: _init); |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class X extends core::Object { |
| synthetic constructor •() → self::X |
| : super core::Object::•() |
| ; |
| } |
| class Foo<T extends self::X> extends core::Object { |
| covariant-by-class field self::Foo::T x; |
| constructor fromX(self::X _init) → self::Foo<self::Foo::T> |
| : this self::Foo::_internal(x: invalid-expression "pkg/front_end/testcases/general/redirecting_initializer_arguments_assignable2.dart:13:42: Error: The argument type 'X' can't be assigned to the parameter type 'T'. |
| - 'X' is from 'pkg/front_end/testcases/general/redirecting_initializer_arguments_assignable2.dart'. |
| Foo.fromX(X _init) : this._internal(x: _init); |
| ^" in _init as{TypeError,ForNonNullableByDefault} Never) |
| ; |
| constructor fromT(self::Foo::T _init) → self::Foo<self::Foo::T> |
| : this self::Foo::_internal(x: _init) |
| ; |
| constructor _internal({required self::Foo::T x = #C1}) → self::Foo<self::Foo::T> |
| : self::Foo::x = x, super core::Object::•() |
| ; |
| } |
| static method main() → void {} |
| |
| constants { |
| #C1 = null |
| } |