MaybeCapability

dotty.tools.dotc.cc.MaybeCapability

An extractor for ref @maybeCapability, which is used to express the maybe 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