Skip to content

filter mutants in enum switch default block - #1490

Merged
hcoles merged 1 commit into
masterfrom
exhaustive_enum_switch
Aug 4, 2026
Merged

filter mutants in enum switch default block#1490
hcoles merged 1 commit into
masterfrom
exhaustive_enum_switch

Conversation

@hcoles

@hcoles hcoles commented Aug 4, 2026

Copy link
Copy Markdown
Owner

Depending on the java version and compiler, a default block may be created to throw a runtime error if a suposedly exhaustive match fails.

Depending on the java version and compiler, a default block may be
created to throw a runtime error if a suposedly exhaustive match fails.
@hcoles
hcoles merged commit 23f22e1 into master Aug 4, 2026
6 checks passed
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.

1 participant