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