Skip to content

Fix: Prevent GADT reasoning in pattern alternatives#22853

Merged
dwijnand merged 1 commit intoscala:mainfrom
dotty-staging:gadt-pattern-alts
Mar 25, 2025

Commits

Commits on Mar 21, 2025