Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(37)

Unified Diff: pkg/front_end/testcases/inference/constructors_downwards_with_constraint.dart.strong.expect

Issue 2864853002: Fix constructor invocation type inference. (Closed)
Patch Set: Rebase and remove unnecessary changes Created 3 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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>();
+}

Powered by Google App Engine
This is Rietveld 408576698