Type Alias ConstantExpr 

pub type ConstantExpr = Decorated<ConstantExprKind>;

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.

Aliased Type

pub struct ConstantExpr {
    pub ty: Ty,
    pub span: Span,
    pub contents: Box<ConstantExprKind>,
    pub hir_id: Option<(usize, usize)>,
    pub attributes: Vec<Attribute>,
}

Fields

ty: Ty

span: Span

contents: Box<ConstantExprKind>

hir_id: Option<(usize, usize)>

attributes: Vec<Attribute>