Remove bad uses of Const in community build#10569

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

dotty-staging:remove-bad-uses-of-Const-in-community-build

Dec 1, 2020

Commits on Dec 1, 2020

Remove bad uses of Const in community build
nicolasstucki
committed