Scala 3/scala/scala.annotation/capability

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: true
Experimental: true
Source: capability.scala
Graph
Supertypes: trait StaticAnnotation

class Annotation

class Object

trait Matchable

class Any

In this article

Generated with