Skip to content

Suggest runtimeChecked in warning/error messages#24672

Merged
WojciechMazur merged 2 commits intoscala:mainfrom
dotty-staging:unchecked-to-runtimeChecked-warning-messages
Dec 8, 2025
Merged

Suggest runtimeChecked in warning/error messages#24672
WojciechMazur merged 2 commits intoscala:mainfrom
dotty-staging:unchecked-to-runtimeChecked-warning-messages

Commits

Commits on Dec 5, 2025