capability
scala.annotation.capability
final class capability extends StaticAnnotation
Marks an annotated class as a capability. If the annotation is present and -Ycc is set, any (possibly aliased or refined) instance of the class type is implicitly augmented with the universal capture set. Example
Attributes
- Deprecated
- To make a class a capability, let it derive from the `Capability` trait instead
- Experimental
- true
- Source
- capability.scala
- Graph
-
- Supertypes
In this article