path: root/src/dotty/annotation/internal/UnsafeNonvariant.scala

package dotty.annotation.internal

import scala.annotation.Annotation

/** This annotation is used as a marker for unsafe
 *  instantiations in asSeenFrom. See TypeOps.asSeenfrom for an explanation.
 */
class UnsafeNonvariant extends Annotation