hax_frontend_exporter

Type Alias ConstantExpr

source 
pub type ConstantExpr = Decorated<ConstantExprKind>;
Expand description

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§

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>