Index: pkg/front_end/testcases/inference/constructors_infer_from_arguments_const_with_upper_bound.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/constructors_infer_from_arguments_const_with_upper_bound.dart.direct.expect b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_const_with_upper_bound.dart.direct.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f4cec980f61eb7e6830b3b7f4f8e533f419c7b60 |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_const_with_upper_bound.dart.direct.expect |
@@ -0,0 +1,20 @@ |
+library test; |
+import self as self; |
+import "dart:core" as core; |
+ |
+class C<T extends core::num> extends core::Object { |
+ final field self::C::T x; |
+ const constructor •(self::C::T x) → void |
+ : self::C::x = x, super core::Object::•() |
+ ; |
+} |
+class D<T extends core::num> extends core::Object { |
+ const constructor •() → void |
+ : super core::Object::•() |
+ ; |
+} |
+static method main() → void { |
+ const dynamic c = const self::C::•<dynamic>(0); |
+ self::C<core::int> c2 = c; |
+ const self::D<core::int> d = const self::D::•<dynamic>(); |
+} |