flux_refineck::checker

Function int_int_cast

Source 
fn int_int_cast(idx: &Expr, int_ty1: IntTy, int_ty2: IntTy) -> Ty