An annotation to record a Scala2 pickled alias.
An annotation to tag Java annotation default values
The class associated with a BodyAnnotation
, which indicates
an inline method's right hand side
An annotation to indicate a child class or object of the annotated class.
An annotation produced by Namer to indicate an inline parameter
An annotation produced by desugaring to indicate that a sequence is a repeated parameter.
An annotation produced by desugaring to indicate that a sequence is a repeated parameter. I.e.
T* is expanded by Desugar to Seq[T] @Repeated
An annotation to record a Scala2 pickled alias.
This annotation is used as a marker for unsafe instantiations in asSeenFrom.
This annotation is used as a marker for unsafe instantiations in asSeenFrom. See TypeOps.asSeenfrom for an explanation.
An annotation to indicate a child class or object of the annotated class. E.g. if we have
sealed class A case class B() extends A case class C() extends A
Then the class symbol
A
would carry the annotations@Child[Bref] @Child[Cref]
whereBref
,Cref
are TypeRefs referring to the class symbols ofB
andC