use
scala.caps.use
final class use extends StaticAnnotation
Allowed only for source versions up to 3.7: An annotation on parameters x stating that the method's body makes use of the reach capability x*. Consequently, when calling the method we need to charge the deep capture set of the actual argiment to the environment.
Attributes
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
In this article