Function flux_refineck::checker::uint_int_cast

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