capability (original) (raw)

scala.annotation.capability

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

Generated with

Copyright (c) 2002-2025, LAMP/EPFL

Copyright (c) 2002-2025, LAMP/EPFL