CheckerAPI
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class CaptureChecker
Members list
Value members
Abstract methods
Complete symbol info of a val or a def
Complete symbol info of a val or a def
Attributes
Extensions
Extensions
If a tree is an argument for which needsSepCheck is true, the type of the formal paremeter corresponding to the argument.
If a tree is an argument for which needsSepCheck is true, the type of the formal paremeter corresponding to the argument.
Attributes
Was a new type installed for this tree?
Was a new type installed for this tree?
Attributes
The "use set", i.e. the capture set marked as free at this node.
The "use set", i.e. the capture set marked as free at this node.
Attributes
Is this tree passed to a parameter or assigned to a value with a type that contains cap in no-flip covariant position, which will necessite a separation check?
Is this tree passed to a parameter or assigned to a value with a type that contains cap in no-flip covariant position, which will necessite a separation check?
Attributes
The new type of the tree, or if none was installed, the original type
The new type of the tree, or if none was installed, the original type