• Home
• ch.epfl.lamp
• dotty-library_0.28
• 0.28.0-bin-20201014-ca67e4d-NIGHTLY
• source code
• RefiningAnnotation.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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