The capture checker
Attributes
- Companion
- class
- Graph
-
- Supertypes
- Self type
-
CheckCaptures.type
Members list
Type members
Classlikes
A class describing environments.
A class describing environments.
Value parameters
- captured
-
the caputure set containing all references to tracked free variables outside of boxes
- kind
-
the environment's kind
- outer0
-
the next enclosing environment
- owner
-
the current owner
Attributes
- Supertypes
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
- Self type
Similar normal substParams, but this is an approximating type map that maps parameters in contravariant capture sets to the empty set.
Similar normal substParams, but this is an approximating type map that maps parameters in contravariant capture sets to the empty set.
Attributes
- Supertypes
-
trait IdempotentCaptRefMapclass ApproximatingTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass AnyShow all
Value members
Concrete methods
Check that a @retains annotation only mentions references that can be tracked. This check is performed at Typer.
Check that a @retains annotation only mentions references that can be tracked. This check is performed at Typer.
Attributes
Concrete fields
Attachment key for bodies of closures, provided they are values
Attachment key for bodies of closures, provided they are values