src/dotty/annotation/internal/Child.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package dotty.annotation.internal

import scala.annotation.Annotation

/** 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]` where `Bref`, `Cref` are TypeRefs
 *  referring to the class symbols of `B` and `C`
 */
class Child[T] extends Annotation