Get some more strong mode type inference tests to pass

pkg/front_end/testcases/inference/constructors_infer_from_arguments_downwards_from_constructor.dart.strong.expect

Index: pkg/front_end/testcases/inference/constructors_infer_from_arguments_downwards_from_constructor.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/constructors_infer_from_arguments_downwards_from_constructor.dart.strong.expect b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_downwards_from_constructor.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..2950d68df8d34f275f89094337318ffff9f5ee2e
--- /dev/null
+++ b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_downwards_from_constructor.dart.strong.expect
@@ -0,0 +1,15 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+class C<T extends core::Object> extends core::Object {
+  constructor •(core::List<self::C::T> list) → void
+    : super core::Object::•()
+    ;
+}
+static method main() → dynamic {
+  self::C<core::int> x = new self::C::•<core::int>(<core::int>[123]);
+  self::C<core::int> y = x;
+  self::C<dynamic> a = new self::C::•<dynamic>(<dynamic>[123]);
+  self::C<core::Object> b = new self::C::•<core::Object>(<core::Object>[123]);
+}