flux_refineck::checker

Function uint_uint_cast

Source 
fn uint_uint_cast(idx: &Expr, uint_ty1: UintTy, uint_ty2: UintTy) -> Ty