Implement type arguments in redirecting factories.

pkg/front_end/lib/src/fasta/kernel/kernel_class_builder.dart

 // Copyright (c) 2016, 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 fasta.kernel_class_builder;
 
 import 'package:kernel/ast.dart'
     show
         Class,
         Constructor,
@@ skipping 25 matching lines @@
         templateRedirectionTargetNotFound;
 
 import '../problems.dart' show unhandled, unimplemented;
 
 import 'kernel_builder.dart'
     show
         Builder,
         ClassBuilder,
         ConstructorReferenceBuilder,
         KernelLibraryBuilder,
+        KernelNamedTypeBuilder,
         KernelProcedureBuilder,
         KernelTypeBuilder,
         LibraryBuilder,
         MemberBuilder,
         MetadataBuilder,
         ProcedureBuilder,
         Scope,
         TypeVariableBuilder,
         computeDefaultTypeArguments;
 
@@ skipping 70 matching lines @@
       for (String name in names) {
         Builder builder = constructors[name];
         if (builder is KernelProcedureBuilder && builder.isFactory) {
           // Compute the immediate redirection target, not the effective.
           ConstructorReferenceBuilder redirectionTarget =
               builder.redirectionTarget;
           if (redirectionTarget != null) {
             assert(builder.actualBody == null);
             Builder targetBuilder = redirectionTarget.target;
             addRedirectingConstructor(builder, library);
+            Member target;
             if (targetBuilder is ProcedureBuilder) {
-              Member target = targetBuilder.target;
-              builder.body = new RedirectingFactoryBody(target);
+              target = targetBuilder.target;
             } else if (targetBuilder is DillMemberBuilder) {
-              builder.body = new RedirectingFactoryBody(targetBuilder.member);
+              target = targetBuilder.member;
+            }
+            if (target != null) {
+              builder.body = new RedirectingFactoryBody(
+                  target,
+                  new KernelNamedTypeBuilder.fromConstructorReference(
+                          redirectionTarget)
+                      .build(library));
             } else {
               var message = templateRedirectionTargetNotFound
                   .withArguments(redirectionTarget.fullNameForErrors);
               if (builder.isConst) {
                 addCompileTimeError(message, builder.charOffset);
               } else {
                 addWarning(message, builder.charOffset);
               }
               // CoreTypes aren't computed yet, and this is the outline
               // phase. So we can't and shouldn't create a method body.
@@ skipping 151 matching lines @@
       }
     }
   }
 
   String get fullNameForErrors {
     return isMixinApplication
         ? "${supertype.fullNameForErrors} with ${mixedInType.fullNameForErrors}"
         : name;
   }
 }