eval_ty_constant

hax_frontend_exporter::constant_utils::uneval

Function eval_ty_constant 

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

Evaluate a ty::Const.