retains
scala.annotation.retains
class retains(xs: Any*) extends StaticAnnotation
An annotation that indicates capture of a set of references under capture checking.
T @retains(x, y, z)
is the internal representation used for the capturing type
T ^ {x, y, z}
The annotation can also be written explicitly if one wants to avoid the non-standard capturing type syntax.
Attributes
- Experimental
- true
- Source
- retains.scala
- Graph
-
- Supertypes
In this article