MaybeCapability

dotty.tools.dotc.cc.MaybeCapability

An extractor for ref @amaybeCapability, 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
def unapply(tree: AnnotatedType)(using Context): Option[Type]

Attributes

Inherited from:
AnnotatedCapability