Enum paralegal_spdg::rustc::mir::ConstantKind

pub enum ConstantKind<'tcx> {
    Ty(Const<'tcx>),
    Unevaluated(UnevaluatedConst<'tcx>, Ty<'tcx>),
    Val(ConstValue<'tcx>, Ty<'tcx>),
}

Variants

Ty(Const<'tcx>)

This constant came from the type system

Unevaluated(UnevaluatedConst<'tcx>, Ty<'tcx>)

An unevaluated mir constant which is not part of the type system.

Val(ConstValue<'tcx>, Ty<'tcx>)

This constant cannot go back into the type system, as it represents something the type system cannot handle (e.g. pointers).