Enum FreeBuiltinKind 

pub enum FreeBuiltinKind {
    Constructor,
    Assertion,
}

What a builtin that is called on nothing is.

The two kinds are not variations of one thing — a constructor makes a value and an assertion checks one — and both ends of the toolchain ask which is which before anything else: the interpreter dispatches an assertion through the one path that carries the source text of its arguments, and the checker gives an assertion’s arity a different sentence than a constructor’s. So the kind is in the table rather than derived from the name.

Variants

Constructor

Ok(value), Err(error), Some(value), Error("message"), and Shared(value): a name that builds a builtin value out of one payload.

Assertion

assert(condition) and assertEqual(actual, expected): a name a test calls, which reports failure as an ordinary Err.

Trait Implementations

impl Clone for FreeBuiltinKind

fn clone(&self) -> FreeBuiltinKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FreeBuiltinKind

impl Debug for FreeBuiltinKind

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

Formats the value using the given formatter.

impl Eq for FreeBuiltinKind

impl PartialEq for FreeBuiltinKind

fn eq(&self, other: &FreeBuiltinKind) -> 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 StructuralPartialEq for FreeBuiltinKind