Skip to content

Final fixes for -Wvalue-discard#16637

Merged
KacperFKorban merged 1 commit intoscala:mainfrom
dotty-staging:warn-value-discard-clean
Jan 9, 2023
Merged

Final fixes for -Wvalue-discard#16637
KacperFKorban merged 1 commit intoscala:mainfrom
dotty-staging:warn-value-discard-clean

Commits

Commits on Jan 9, 2023