Skip to main content

const_value_to_raw_memory

charon_driver::hax::constant_utils::uneval

Function const_value_to_raw_memory 

Source 
pub fn const_value_to_raw_memory<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    ty: Ty<'tcx>,
    val: ConstValue,
    span: Span,
) -> InterpResult<'tcx, ConstantExpr>
Expand description

Like const_value_to_constant_expr, but untyped.