Enum cranelift_codegen::ir::instructions::ResolvedConstraint

pub enum ResolvedConstraint {
    Bound(Type),
    Free(ValueTypeSet),
}

The type constraint on a value argument once the controlling type variable is known.

Variants

Bound(Type)

The operand is bound to a known type.

Free(ValueTypeSet)

The operand type can vary freely within the given set.

Trait Implementations

impl Clone for ResolvedConstraint

fn clone(&self) -> ResolvedConstraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedConstraint

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

Formats the value using the given formatter.

impl PartialEq<ResolvedConstraint> for ResolvedConstraint

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

impl Eq for ResolvedConstraint

impl StructuralEq for ResolvedConstraint

impl StructuralPartialEq for ResolvedConstraint