hax_frontend_exporter::constant_utils::uneval

Function op_to_const

Source 
fn op_to_const<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    span: Span,
    ecx: &CompileTimeInterpCx<'tcx>,
    op: OpTy<'tcx>,
) -> InterpResult<'tcx, ConstantExpr>
Expand description

Use the const-eval interpreter to convert an evaluated operand back to a structured constant expression.