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
Show all versions of scala3-library_sjs1_3 Show documentation
scala3-library-bootstrappedJS
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
© 2015 - 2024 Weber Informatics LLC | Privacy Policy