eval_mir_constant

hax_frontend_exporter

Function eval_mir_constant 

Source 
pub fn eval_mir_constant<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    c: Const<'tcx>,
) -> Option<Const<'tcx>>
Expand description

Evaluate a mir::Const.