ReachCapability

dotty.tools.dotc.cc.ReachCapability

An extractor for ref @annotation.internal.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

Attributes

Inherited from:
AnnotatedCapability