Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Can coercive subtyping be honored by covariant/contravariant type constructors in scala 3?