Dropped: General Type ProjectionEdit this page on GitHub
Scala so far allowed general type projection
T is an arbitrary type
A names a type member of
Dotty disallows this if
T is an abstract type (class types and type aliases
are fine). This change was made because unrestricted type projection
This restriction rules out the type-level encoding of a combinator calculus.
To rewrite code using type projections on abstract types, consider using path-dependent types or implicit parameters.