scala.annotation.unchecked
package scala.annotation.unchecked
Members list
Type members
Classlikes
class uncheckedCaptures extends StaticAnnotation
An annotation for mutable variables that are allowed to capture the root capability cap.
An annotation for mutable variables that are allowed to capture the root capability cap. Allowing this is not capture safe since it can cause leakage of capabilities from local scopes by assigning values retaining such capabilties to the annotated variable in an outer scope.
Attributes
- Source
- uncheckedCapabilityLeaks.scala
- Supertypes
final class uncheckedStable extends StaticAnnotation
An annotation for values that are assumed to be stable even though their types are volatile.
An annotation for values that are assumed to be stable even though their types are volatile.
Attributes
- Source
- uncheckedStable.scala
- Supertypes
final class uncheckedVariance extends StaticAnnotation
An annotation for type arguments for which one wants to suppress variance checking.
An annotation for type arguments for which one wants to suppress variance checking.
Attributes
- Source
- uncheckedVariance.scala
- Supertypes
In this article