hax_frontend_exporter::constant_utils::rustc

Function scalar_to_constant_expr

source 
pub(crate) fn scalar_to_constant_expr<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    ty: Ty<'tcx>,
    scalar: &Scalar,
    span: Span,
) -> ConstantExpr