unsafe
Attributes
- Experimental
- true
- Source
- package.scala
- Graph
-
- Supertypes
- Self type
-
unsafe.type
Members list
Type members
Classlikes
Marks the constructor parameter as untracked. The capture set of this parameter will not be included in the capture set of the constructed object.
Marks the constructor parameter as untracked. The capture set of this parameter will not be included in the capture set of the constructed object.
Attributes
- Note
-
This should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases
- Source
- package.scala
- Supertypes
Value members
Concrete methods
A wrapper around code for which separation checks are suppressed.
An unsafe variant of erasedValue that can be used as an escape hatch. Unlike the user-accessible compiletime.erasedValue, this version is assumed to be a pure expression, hence capability safe. But there is no proof of realizability, hence it is unsafe.
An unsafe variant of erasedValue that can be used as an escape hatch. Unlike the user-accessible compiletime.erasedValue, this version is assumed to be a pure expression, hence capability safe. But there is no proof of realizability, hence it is unsafe.
Attributes
- Source
- package.scala
Extensions
Extensions
A specific cast operation to remove a capture set. If argument is of type T^C, assume it is of type T instead. Calls to this method are treated specially by the capture checker.
A specific cast operation to remove a capture set. If argument is of type T^C, assume it is of type T instead. Calls to this method are treated specially by the capture checker.
Attributes
- Source
- package.scala