Enum wasm::validation::validation_stack::ValidationStackEntry

enum ValidationStackEntry {
    Val(ValType),
    Label(LabelInfo),
    UnspecifiedValTypes,
}

Variants

Val(ValType)

A value

Label(LabelInfo)

A label

UnspecifiedValTypes

Special variant to encode that any possible number of ValTypes could be here

Caused by return and unreachable, as both can push an arbitrary number of values to the stack.

When this variant is pushed onto the stack, all valtypes until the next lower label are deleted. They are not needed anymore because this variant can expand to all of them.

Trait Implementations

impl Clone for ValidationStackEntry

fn clone(&self) -> ValidationStackEntry

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationStackEntry

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

Formats the value using the given formatter.

impl PartialEq for ValidationStackEntry

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for ValidationStackEntry

impl StructuralPartialEq for ValidationStackEntry