Struct ra_ap_hir_ty::InferenceVar

pub struct InferenceVar { /* fields omitted */ }

The kinds of placeholders we need during type inference. There’s separate values for general types, and for integer and float variables. The latter two are used for inference of literal values (e.g. 100 could be one of several integer types).

Trait Implementations

impl Clone for InferenceVar

fn clone(&self) -> InferenceVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for InferenceVar

impl Debug for InferenceVar

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

Formats the value using the given formatter.

impl Eq for InferenceVar

impl Hash for InferenceVar

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<InferenceVar> for InferenceVar

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

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

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

This method tests for !=.

impl StructuralEq for InferenceVar

impl StructuralPartialEq for InferenceVar