Enum ProtoRef 

pub enum ProtoRef {
    Kind(TyKind),
    Ref(Expr),
}

The prototype an as <Proto> pattern narrows to. One rule covers both forms — the subject matches iff its prototype is the named module — and they differ only in how much of the work is left to run time.

Variants

Kind(TyKind)

The compiled fast form: a reference the resolver recognized as the builtin module that is some value kind’s prototype, so the check is the discriminant test TyKind always was rather than an eval plus a pointer compare. as Int takes this path, alias or __-spelling alike.

Ref(Expr)

Any other prototype, named by an atom — a module item, a local, a frame slot, or __module. Resolved like an Equal comparand, evaluated at match time, and required to be a module value.

Trait Implementations

impl Clone for ProtoRef

fn clone(&self) -> ProtoRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProtoRef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ProtoRef

fn eq(&self, other: &ProtoRef) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ProtoRef

impl StructuralPartialEq for ProtoRef