ReachCapabilityApply
dotty.tools.dotc.cc.ReachCapabilityApply
object ReachCapabilityApply
An extractor for caps.reachCapability(ref), which is used to express a reach capability as a tree in a @retains annotation.
Attributes
- Graph
-
- Supertypes
- Self type
-
ReachCapabilityApply.type
Members list
In this article