Enum ConstOperandKind 

pub enum ConstOperandKind<'tcx> {
    Value(ConstantExpr<'tcx>),
    Promoted(ItemRef<'tcx>),
}

Variants

Value(ConstantExpr<'tcx>)

An evaluated constant represented as an expression.

Promoted(ItemRef<'tcx>)

Part of a MIR body that was promoted to be a constant. May not be evaluatable because of generics. It’s a reference to the DefId of the constant. Note that rustc does not give a DefId to promoted constants, but we do in hax.

Trait Implementations

impl<'tcx> Clone for ConstOperandKind<'tcx>

fn clone(&self) -> ConstOperandKind<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ConstOperandKind<'tcx>

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

Formats the value using the given formatter.