Enum rustc_mir::interpret::ConstValue

pub enum ConstValue<'tcx> {
    Scalar(Scalar<()>),
    Slice {
        data: &'tcx Allocation<(), ()>,
        start: usize,
        end: usize,
    },
    ByRef {
        alloc: &'tcx Allocation<(), ()>,
        offset: Size,
    },
}

Represents a constant value in Rust. Scalar and Slice are optimizations for array length computations, enum discriminants and the pattern matching logic.

Variants

Scalar(Scalar<()>)

Used only for types with layout::abi::Scalar ABI and ZSTs.

Not using the enum Value to encode that this must not be Uninit.

Slice

Used only for &[u8] and &str

Fields of Slice

data: &'tcx Allocation<(), ()>start: usizeend: usize

ByRef

A value not represented/representable by Scalar or Slice

Fields of ByRef

alloc: &'tcx Allocation<(), ()>

The backing memory of the value, may contain more memory than needed for just the value in order to share Allocations between values

offset: Size

Offset into alloc