Struct rustc_middle::infer::unify_key::ConstVarValue

pub struct ConstVarValue<'tcx> {
    pub origin: ConstVariableOrigin,
    pub val: ConstVariableValue<'tcx>,
}

Fields

origin: ConstVariableOrigin

val: ConstVariableValue<'tcx>

Trait Implementations

impl<'tcx> Clone for ConstVarValue<'tcx>

pub fn clone(&self) -> ConstVarValue<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Copy for ConstVarValue<'tcx>

impl<'tcx> Debug for ConstVarValue<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> UnifyValue for ConstVarValue<'tcx>

type Error = (&'tcx Const<'tcx>, &'tcx Const<'tcx>)

Defines the type to return when merging of two values fails. If merging is infallible, use the special struct NoError found in this crate, which unlocks various more convenient methods on the unification table.

pub fn unify_values(value1: &Self, value2: &Self) -> Result<Self, Self::Error>

Given two values, produce a new value that combines them. If that is not possible, produce an error.