ReachCapability

dotty.tools.dotc.cc.ReachCapability

An extractor for ref @reachCapability, which is used to express the reach capability ref* as a type.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

def apply(tp: Type)(using Context): AnnotatedType

Attributes

Inherited from:
AnnotatedCapability
def unapply(tree: AnnotatedType)(using Context): Option[Type]

Attributes

Inherited from:
AnnotatedCapability