flux_refineck::checker

Function uint_int_cast

Source 
fn uint_int_cast(idx: &Expr, uint_ty: UintTy, int_ty: IntTy) -> Ty