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

ConstantExprKind

The subset of [Expr] 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