Fix "is not a trait" when extending a Java annotation#13225

Closed

dwijnand wants to merge 3 commits intoscala:masterfrom

dwijnand:class-extends-java-annot

Commits on Jul 31, 2021

Fix "is not a trait" when extending a Java annotation
dwijnand
committed
Also fix "Invalid interfaces" when constructing a annotation subclass
dwijnand
committed

Commits on Aug 2, 2021

Make i12840 a run test to test the bytecode
dwijnand
committed