On 23/02/2023 18:46, Brian Goetz wrote:
but we really wanted the case merging.
Gotcha.I just wanted to point out that there are two questions here (one about fall-through and one about domination), and when reading the emails it was not obvious to me that a change in how fall-through was defined was being proposed.
If merging unrelated type tests is a goal, I think there should be an example for it in the JEP under "Motivation".
Maurizio
