unsafe
Attributes
- Source
- caps.scala
- Graph
-
- Supertypes
- Self type
-
unsafe.type
Members list
Extensions
Extensions
If argument is of type box cs T, converts to type cs T. This avoids the error that would be raised when unboxing cap.
If argument is of type box cs T, converts to type cs T. This avoids the error that would be raised when unboxing cap.
Attributes
- Source
- caps.scala
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
- caps.scala
If argument is of type cs T, converts to type box cs T. This avoids the error that would be raised when boxing cap.
If argument is of type cs T, converts to type box cs T. This avoids the error that would be raised when boxing cap.
Attributes
- Source
- caps.scala
If argument is of type box cs T, converts to type cs T. This avoids the error that would be raised when unboxing cap.
If argument is of type box cs T, converts to type cs T. This avoids the error that would be raised when unboxing cap.
Attributes
- Source
- caps.scala