Skip to content

Reject non-exhaustive nested sealed record patterns in switch #5182#5192

Open
kamilkrzywanski wants to merge 1 commit into
eclipse-jdt:masterfrom
kamilkrzywanski:issue_5182
Open

Reject non-exhaustive nested sealed record patterns in switch #5182#5192
kamilkrzywanski wants to merge 1 commit into
eclipse-jdt:masterfrom
kamilkrzywanski:issue_5182

Commits

Commits on Jul 11, 2026