hax_frontend_exporter::constant_utils::rustc

Function scalar_int_to_constant_literal

source
pub(crate) fn scalar_int_to_constant_literal<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    x: ScalarInt,
    ty: Ty<'tcx>,
) -> ConstantLiteral