Enum kailua_check::env::SlotSpec

pub enum SlotSpec {
    Implicit(Spanned<Slot>),
    Explicit(Spanned<Slot>),
}

A slot type "specification".

It is possible that the slot type is constructed first and then it gets "initialized", because we can put a type specification to table fields which may yield a new empty slot.

Variants

Implicit(Spanned<Slot>)

The slot is constructed implicitly (e.g. from --: const), so the type should be still copied directly from the initialization.

Explicit(Spanned<Slot>)

The slot is specified explicitly and the initialization should be its subtype.

Methods

impl SlotSpec

fn slot(&self) -> &Spanned<Slot>

fn map<F: FnOnce(Slot) -> Slot>(self, f: F) -> SlotSpec

fn unwrap(self) -> Spanned<Slot>

Trait Implementations

impl Clone for SlotSpec

fn clone(&self) -> SlotSpec

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SlotSpec

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.