refineOverride
scala.caps.internal.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
- package.scala
- Graph
-
- Supertypes
In this article