Skip to content

Fix reachability of non-reducing match type children#13251

Merged
dwijnand merged 1 commit intoscala:masterfrom
dwijnand:unreachable-match-type-subpattern
Sep 7, 2021

Commits

Commits on Sep 7, 2021