Index: pkg/front_end/testcases/inference/constructors_downwards_with_constraint.dart.strong.expect |
diff --git a/pkg/front_end/testcases/inference/constructors_downwards_with_constraint.dart.strong.expect b/pkg/front_end/testcases/inference/constructors_downwards_with_constraint.dart.strong.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..de1f229f21b7aa720cf907197993caafe59d82ce |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/constructors_downwards_with_constraint.dart.strong.expect |
@@ -0,0 +1,22 @@ |
+library test; |
+import self as self; |
+import "dart:core" as core; |
+ |
+class A extends core::Object { |
+ constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+class B extends self::A { |
+ constructor •() → void |
+ : super self::A::•() |
+ ; |
+} |
+class Foo<T extends self::A> extends core::Object { |
+ constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+static method main() → void { |
+ self::Foo<self::B> foo = new self::Foo::•<self::B>(); |
+} |