Enum cranelift_codegen_meta::cdsl::instructions::TypePredicateNode

pub(crate) enum TypePredicateNode {
    TypeVarCheck(usize, String),
    CtrlTypeVarCheck(String),
}

Variants

TypeVarCheck(usize, String)

Is the value argument (at the index designated by the first member) the same type as the type name (second member)?

CtrlTypeVarCheck(String)

Is the controlling type variable the same type as the one designated by the type name (only member)?

Methods

impl TypePredicateNode

fn rust_predicate(&self, func_str: &str) -> String

Trait Implementations

impl Clone for TypePredicateNode

fn clone(&self) -> TypePredicateNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for TypePredicateNode

impl Hash for TypePredicateNode

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<TypePredicateNode> for TypePredicateNode

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

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

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

This method tests for !=.

impl StructuralEq for TypePredicateNode

impl StructuralPartialEq for TypePredicateNode