Skip to content

Force Java enum children to be queried#15109

Merged
odersky merged 1 commit intoscala:mainfrom
dwijnand:fix-unreachable-inhabited-java-enum
May 9, 2022
Merged

Force Java enum children to be queried#15109
odersky merged 1 commit intoscala:mainfrom
dwijnand:fix-unreachable-inhabited-java-enum

Commits

Commits on May 5, 2022