This could make correlating trees with positions harder. We have an agreement that NamedArgs should survive until FirstTransform. The place where it's eliminated: https://github.com/lampepfl/dotty/blob/master/src/dotty/tools/dotc/typer/EtaExpansion.scala#L53