No type arguments in RedirectingFactoryBody

[scheglov]

So, this code cannot be represented.

class C<T, U> {
  factory C() = D<U, T>.named;
  C._();
}
class D<T, U> extends C<U, T> {
  D.named() : super._();
}

[peter-ahe-google]

Thank you for reporting this.

[peter-ahe-google]

Work in progress: CL 2996063002.

The CL reifies the type arguments, but doesn't yet use that information to compute the correct type arguments when calling the constructor that is the final redirection target.

[stereotype441]

This appears to have been taken care of. As of ec9c927 we can now use RedirectingFactoryBody.typeArguments.