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.
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