Module constant_utils 

Re-exports

pub use self::uneval::*;

Modules

uneval 🔒

Reconstruct structured expressions from rustc’s various constant representations.

Structs

ConstantFieldExpr

VariantIdx

The source-order index of a variant in a type.

Enums

ConstantByte

A byte of an evaluated constant, in the MiniRust sense.

ConstantByteProvenance

What a pointer byte in an evaluated constant points to.

ConstantExprKind

The subset of expressions that corresponds to constants.

ConstantInt

ConstantLiteral

VariantKind

Describe the kind of a variant

Type Aliases

ConstantExpr

Rustc has different representation for constants: one for MIR ([rustc_middle::mir::Const]), one for the type system ([rustc_middle::ty::ConstKind]). For simplicity hax maps those two construct to one same ConstantExpr type.

ConstantKind