Redirection type of a redirecting factory can be deferred

tests/language/regress_23408_test.dart

Index: tests/language/regress_23408_test.dart
diff --git a/tests/language/regress_23408_test.dart b/tests/language/regress_23408_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..f47f1cb950343236f6b89493dab8da168a526366
--- /dev/null
+++ b/tests/language/regress_23408_test.dart
@@ -0,0 +1,32 @@
+// Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+library regress_23408_test;
+
+import 'package:expect/expect.dart';
+
+import 'regress_23408_lib.dart' deferred as lib;
+
+class A<T> extends C {
+  get t => "$T";
+}
+
+class C {
+  var v = 55;
+  C();
+  factory C.c() = lib.K;
+  factory C.l() = A<lib.K>;
+}
+
+void main() {
+  var a = new C.l(); // Redirects to A<dynamic>
+  Expect.equals("dynamic", a.t);
+  Expect.throws(() => new C.c());
+  lib.loadLibrary().then((_) {
+    var b = new C.l(); // Still redirects to A<dynamic>
+    Expect.equals("dynamic", b.t);
+    var z = new C.c();
+    Expect.equals(55, z.v);
+  });
+}