Skip to content

Represent Java annotations as interfaces so they can be extended, and disallow various misuses of them#16260

Merged
smarter merged 4 commits intoscala:mainfrom
dotty-staging:proper-java-annots
Nov 14, 2022

Commits

Commits on Nov 14, 2022