Pre-SIP: Divergence Checking for Match Type Reduction

Scala Improvement Process
7

Are we sure the old and new logic are equivalent ?

For example, are there cases where the older system would reduce something which cannot be proven to terminate ?

2 Likes