hax_frontend_exporter

Function const_value_to_constant_expr

source
pub fn const_value_to_constant_expr<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    ty: Ty<'tcx>,
    val: ConstValue<'tcx>,
    span: Span,
) -> ConstantExpr