scala.annotation.internal.Child.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scala3-library_3 Show documentation

scala3-library-bootstrapped

The newest version!

package scala.annotation
package internal

/** 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[Cref]`, @Child[Bref] where `Bref`, `Cref` are TypeRefs
 *  referring to the class symbols of `B` and `C`.
 *
 *  Child annotations always appear in reverse order of textual occurrence.
 *  I.e. in the example above, it is guaranteed that the child annotation for `C`
 *  appears before the one for `B`.
 *
 *  TODO: This should be `Child[T <: AnyKind]`
 */
class Child[T] extends Annotation