scala.annotation.unchecked

Members list

Type members

Classlikes

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.

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
uncheckedCaptures.scala
Supertypes
class Annotation
class Object
trait Matchable
class Any
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
class Annotation
class Object
trait Matchable
class Any
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
class Annotation
class Object
trait Matchable
class Any