ClosedUnrecorded
dotty.tools.dotc.cc.CaptureSet.VarState.ClosedUnrecorded
class ClosedUnrecorded extends Closed, Stateless
A closed state that turns off recording of hidden elements (but allows adding them). Used in mightAccountFor. Instantiated in ccState.ClosedUnrecorded.
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
object ClosedUnrecorded
Members list
Value members
Inherited methods
Record elements, return whether this was allowed. By default, recording is allowed in regular but not in frozen states.
Run test pred unless ref was seen in an enclosing ifNotSeen operation
Run test pred unless ref was seen in an enclosing ifNotSeen operation
Attributes
- Inherited from:
- VarState
Attributes
- Inherited from:
- VarState
In this article