unsafe

scala.caps.unsafe
object unsafe

Attributes

Source
caps.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
unsafe.type

Members list

Value members

Concrete methods

def unsafeAssumeSeparate(op: Any): op.type

A wrapper around code for which separation checks are suppressed.

A wrapper around code for which separation checks are suppressed.

Attributes

Source
caps.scala

Extensions

Extensions

extension [T](x: T)

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