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

Experimental
true
Source
capability.scala
Graph
Supertypes
class Annotation
class Object
trait Matchable
class Any
In this article