Skip to content

remove unchecked annotation from enum $values array#12293

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:enum/remove-unchecked
Apr 30, 2021
Merged

remove unchecked annotation from enum $values array#12293
smarter merged 1 commit intoscala:masterfrom
dotty-staging:enum/remove-unchecked

Commits

Commits on Apr 30, 2021