unsafe (original) (raw)

scala.caps.unsafe

Attributes

Experimental

true

Source

package.scala

Graph

Supertypes

Self type

Members list

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

A wrapper around code for which separation checks are suppressed.

A wrapper around code for which separation checks are suppressed.

Attributes

Source

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

package.scala

In this article