Pre-SIP Inline Refinement Captures in Match Type Patterns

[halotukozak]

You can check this paper, something like that was mentioned there

class Box[type Content]

but

Scala 3 - type parameters and type members

We went back having type parameters as first class feature. We learned a lot trying to do the encoding but in the end it was too brittle and too hard to make 100% backwards compatible, so we abandoned the effort.

Nevertheless, it’s not a part of this SIP.