Proposed type reduction rule for Scala 3

Below is a copy of a draft outlining the proposal of an additional rule for match type reduction in Scala 3. It was shared (as a Mathcha link) on Scala Contributors, as a follow-up to this discussion. In this draft is presented an additional subtypin...