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

Source:
capability.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view