scala.annotation.RefiningAnnotation.scala Maven / Gradle / Ivy

Go to download

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

scala3-library-bootstrappedJS

There is a newer version: 3.6.3-RC1-bin-20241119-cc4a324-NIGHTLY

Show newest version

package scala.annotation

/** A base trait for annotations that yield proper subtypes of the types they annotate.
 *  Refining annotations are more "sticky" than normal ones. They are conceptually kept
 *  around when normal refinements would also not be stripped away.
 */
trait RefiningAnnotation extends StaticAnnotation