refineOverride

scala.caps.refineOverride

final class refineOverride extends StaticAnnotation

An internal annotation placed on a refinement created by capture checking. Refinements with this annotation unconditionally override any info from the parent type, so no intersection needs to be formed. This could be useful for tracked parameters as well.

Attributes

Source: caps.scala
Graph
Supertypes: trait StaticAnnotation

class Annotation

class Object

trait Matchable

class Any

In this article

Generated with