Fix false exhaustivity for GADT under separate compilation#23966
Open
zielinsky wants to merge 1 commit intoscala:mainfrom
Open
Fix false exhaustivity for GADT under separate compilation#23966zielinsky wants to merge 1 commit intoscala:mainfrom
zielinsky wants to merge 1 commit intoscala:mainfrom
Commits
Commits on Sep 19, 2025
- committed
