Fix #7499: Prevent extending java.lang.Enum except from an enum#9487

Merged

TheElectronWill merged 3 commits intoscala:masterfrom

TheElectronWill:prevent-extend-java-enum

Aug 7, 2020

Commits on Aug 7, 2020

Fix #7499, fix #7174: prevent extending jl.Enum except from an enum
TheElectronWill
committed
Add tests for wrong uses of java.lang.Enum
TheElectronWill
committed
Allow traits to extend jl.Enum, and classes to do so in migration mode
TheElectronWill
committed