flux_rustc_bridge::const_eval

Function scalar_to_uint

Source 
pub fn scalar_to_uint(
    tcx: TyCtxt<'_>,
    scalar: ScalarInt,
    uint_ty: UintTy,
) -> u128