unsafe

scala.caps.unsafe
object unsafe

Attributes

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

Members list

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