EtaExpansion
dotty.tools.dotc.core.TypeApplications$.EtaExpansion$
object EtaExpansion
Extractor for
[X1: B1, ..., Xn: Bn] -> C[X1, ..., Xn]
where B1, ..., Bn are bounds of the type parameters of the class C.
Attributes
- tycon
C
- Graph
- Supertypes
- Self type
- EtaExpansion.type