Skip to content

EtaExpansion.liftArgs removes NamedArgs #1096

Closed
@DarkDimius

Description

@DarkDimius

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

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions