Skip to content

Conversation

@nomeata
Copy link
Collaborator

@nomeata nomeata commented Oct 31, 2025

This PR gives casesOn the same treatment as if they were matchers.

It seems that for practically all purposes, casesOn is just a particular matcher. This PR explores what breaks if we treat them as such, including for delaboration (makes code with .casesOn more readable) and things like split.

There is some intentional or accidential special handling of casesOn in various places that may have to be revisited and cleaned up before this could be merged.

Subsumes #10876.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants