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

Commits

Commits on Jan 9, 2023