Enum rustc_middle::infer::unify_key::ConstVariableValue

pub enum ConstVariableValue<'tcx> {
    Known {
        value: &'tcx Const<'tcx>,
    },
    Unknown {
        universe: UniverseIndex,
    },
}

Variants

Known

Fields of Known

value: &'tcx Const<'tcx>

Unknown

Fields of Unknown

universe: UniverseIndex

Implementations

impl<'tcx> ConstVariableValue<'tcx>

pub fn known(&self) -> Option<&'tcx Const<'tcx>>

If this value is known, returns the const it is known to be. Otherwise, None.

pub fn is_unknown(&self) -> bool

Trait Implementations

impl<'tcx> Clone for ConstVariableValue<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Copy for ConstVariableValue<'tcx>

impl<'tcx> Debug for ConstVariableValue<'tcx>

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

Formats the value using the given formatter.