Attributes
Members list
Type members
Types
Value members
Concrete methods
Is caps.cap a root capability that is allowed to subsume other capabilities?
Is caps.cap a root capability that is allowed to subsume other capabilities?
Attributes
Should all FreshCap instances be treated as equal to GlobalCap?
Should all FreshCap instances be treated as equal to GlobalCap?
Attributes
If we are currently in capture checking or setup, and mt is a method type that is not a prefix of a curried method, perform op assuming a fresh enclosing existential scope mt, otherwise perform op directly.
If we are currently in capture checking or setup, and mt is a method type that is not a prefix of a curried method, perform op assuming a fresh enclosing existential scope mt, otherwise perform op directly.
Attributes
The currently opened existential scopes
The currently opened existential scopes
Attributes
Run op under the assumption that cap can subsume all other capabilties except Result capabilities. Every use of this method should be scrutinized for whether it introduces an unsoundness hole.
Run op under the assumption that cap can subsume all other capabilties except Result capabilities. Every use of this method should be scrutinized for whether it introduces an unsoundness hole.
Attributes
Run op under the assumption that all FreshCap instances are equal to each other and to GlobalCap. Needed to make override checking of types containing fresh work. Asserted in override checking, tested in maxSubsumes. Is this sound? Test case is neg-custom-args/captures/leaked-curried.scala.
Run op under the assumption that all FreshCap instances are equal to each other and to GlobalCap. Needed to make override checking of types containing fresh work. Asserted in override checking, tested in maxSubsumes. Is this sound? Test case is neg-custom-args/captures/leaked-curried.scala.