RefiningAnnotation (original) (raw)

Scala 3

Generated with

scala.annotation.RefiningAnnotation

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.

Attributes

Source

RefiningAnnotation.scala

Graph

Supertypes

In this article

Attributes

Generated with