| Index: pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect
|
| diff --git a/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..54799a52418bc39453d4b8c5503486a76e99b482
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_3.dart.direct.expect
|
| @@ -0,0 +1,27 @@
|
| +library test;
|
| +import self as self;
|
| +import "dart:core" as core;
|
| +
|
| +class A<T extends core::Object> extends core::Object {
|
| + final field self::A::T x = null;
|
| + final field self::A::T w = null;
|
| + default constructor •() → void
|
| + : super core::Object::•()
|
| + ;
|
| +}
|
| +class B extends core::Object implements self::A<core::int> {
|
| + default constructor •() → void
|
| + : super core::Object::•()
|
| + ;
|
| + get x() → dynamic
|
| + return 3;
|
| + get w() → dynamic
|
| + return "hello";
|
| +}
|
| +static method foo() → dynamic {
|
| + core::String y = new self::B::•().x;
|
| + core::int z = new self::B::•().x;
|
| +}
|
| +static method main() → dynamic {
|
| + self::foo();
|
| +}
|
|
|