Enum cranelift_isle::trie_again::Constraint

pub enum Constraint {
    Variant {
        ty: TypeId,
        variant: VariantId,
        fields: TupleIndex,
    },
    ConstInt {
        val: i128,
    },
    ConstPrim {
        val: Sym,
    },
    Some,
}

Pattern matches which can fail. Some binding sites are the result of successfully matching a constraint. A rule applies constraints to binding sites to determine whether the rule matches.

Variants

Variant

Fields

ty: TypeId

Which enum type is being matched? This is implied by the binding where the constraint is applied, but recorded here for convenience.

variant: VariantId

Which enum variant must this binding site match to satisfy the rule?

fields: TupleIndex

Number of fields in this variant of this enum. This is recorded in the constraint for convenience, to avoid needing to look up the variant in a sema::TypeEnv.

The value must match this enum variant.

ConstInt

Fields

val: i128

The constant value.

The value must equal this integer literal.

ConstPrim

Fields

val: Sym

The constant value.

The value must equal this Rust primitive value.

Some

The value must be an Option::Some, from a fallible extractor.

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Hash for Constraint

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Constraint> for Constraint

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

impl Eq for Constraint

impl StructuralEq for Constraint

impl StructuralPartialEq for Constraint