Module constant_utils

Re-exports

pub use self::uneval::*;

Modules

uneval 🔒

Reconstruct structured expressions from rustc’s various constant representations.

Structs

ConstantFieldExpr

Enums

ConstantExprKind

The subset of Expr that corresponds to constants.

ConstantInt

ConstantLiteral

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