ReadOnlyCapability

dotty.tools.dotc.cc.ReadOnlyCapability

An extractor for ref @readOnlyCapability, which is used to express the read-only capability ref.rd 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