Enum cranelift_codegen_meta::cdsl::type_inference::Constraint

pub(crate) enum Constraint {
    WiderOrEq(TypeVar, TypeVar),
    Eq(TypeVar, TypeVar),
    InTypeset(TypeVar, TypeSet),
}

Variants

WiderOrEq(TypeVar, TypeVar)

Constraint specifying that a type var tv1 must be wider than or equal to type var tv2 at runtime. This requires that:

1. They have the same number of lanes
2. In a lane tv1 has at least as many bits as tv2.

Eq(TypeVar, TypeVar)

Constraint specifying that two derived type vars must have the same runtime type.

InTypeset(TypeVar, TypeSet)

Constraint specifying that a type var must belong to some typeset.

Methods

impl Constraint

fn translate_with<F: Fn(&TypeVar) -> TypeVar>(&self, func: F) -> Constraint

fn translate_with_map(
    &self,
    original_to_own_typevar: &HashMap<&TypeVar, TypeVar>
) -> Constraint

Creates a new constraint by replacing type vars by their hashmap equivalent.

fn translate_with_env(&self, type_env: &TypeEnvironment) -> Constraint

Creates a new constraint by replacing type vars by their canonical equivalent.

fn is_trivial(&self) -> bool

fn is_concrete(&self) -> bool

Returns true iff all the referenced type vars are singletons.

fn typevar_args(&self) -> Vec<&TypeVar>

Trait Implementations

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Eq for Constraint

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, 

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: &Constraint) -> bool

This method tests for !=.

impl StructuralEq for Constraint

impl StructuralPartialEq for Constraint