| Index: pkg/front_end/testcases/inference/constructors_infer_from_arguments_argument_not_assignable.dart.direct.expect
|
| diff --git a/pkg/front_end/testcases/inference/constructors_infer_from_arguments_argument_not_assignable.dart.direct.expect b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_argument_not_assignable.dart.direct.expect
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..a19eafa79e08b7d907ff241d28368e13356e0146
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_argument_not_assignable.dart.direct.expect
|
| @@ -0,0 +1,25 @@
|
| +library test;
|
| +import self as self;
|
| +import "dart:core" as core;
|
| +
|
| +typedef F<T extends core::Object> = () → T;
|
| +class A extends core::Object {
|
| + default constructor •() → void
|
| + : super core::Object::•()
|
| + ;
|
| +}
|
| +class C<T extends self::A> extends core::Object {
|
| + constructor •(() → self::C::T f) → void
|
| + : super core::Object::•()
|
| + ;
|
| +}
|
| +class NotA extends core::Object {
|
| + default constructor •() → void
|
| + : super core::Object::•()
|
| + ;
|
| +}
|
| +static method myF() → self::NotA
|
| + return null;
|
| +static method main() → dynamic {
|
| + dynamic x = new self::C::•<dynamic>(self::myF);
|
| +}
|
|
|