scala.annotation.unchecked
Members list
Type members
Classlikes
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
- uncheckedCaptures.scala
- Supertypes
Marking a definition @uncheckedOverride is equivalent to the override keyword, except that overriding is not enforced.
Marking a definition @uncheckedOverride is equivalent to the override keyword, except that overriding is not enforced. A definition marked @uncheckedOverride is allowed to override nothing.
Attributes
- Source
- uncheckedOverride.scala
- Supertypes
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
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