0d2fd0fd4 ^
d8227b493 ^
f73d46ada ^
1 2 3 4
5
6 7
8
package dotty.annotation.internal import scala.annotation.Annotation /** An annotation to tag Java annotation default values */ class AnnotationDefault extends Annotation { }