Fix type inference of redirecting factory constructor invocations.

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

Index: pkg/front_end/testcases/inference/constructors_infer_from_arguments_redirecting_factory_to_factory.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/constructors_infer_from_arguments_redirecting_factory_to_factory.dart.strong.expect b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_redirecting_factory_to_factory.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..7bdba442df245e33da0c7c59a9a3e574be793424
--- /dev/null
+++ b/pkg/front_end/testcases/inference/constructors_infer_from_arguments_redirecting_factory_to_factory.dart.strong.expect
@@ -0,0 +1,22 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+abstract class C<T extends core::Object> extends core::Object {
+  static field dynamic _redirecting# = <dynamic>[self::C::•];
+  abstract get t() → self::C::T;
+  abstract set t(self::C::T x) → void;
+  static factory •<T extends core::Object>(self::C::•::T t) → dynamic
+    let final dynamic #t1 = self::CImpl::• in invalid-expression;
+}
+class CImpl<T extends core::Object> extends core::Object implements self::C<self::CImpl::T> {
+  field self::CImpl::T t;
+  constructor _(self::CImpl::T t) → void
+    : self::CImpl::t = t, super core::Object::•()
+    ;
+  static factory •<T extends core::Object>(self::CImpl::•::T t) → dynamic
+    return new self::CImpl::_<self::CImpl::•::T>(t);
+}
+static method main() → dynamic {
+  self::C<core::int> x = self::CImpl::•<core::int>(42);
+}