flux_refineck::checker

Function char_uint_cast

Source 
fn char_uint_cast(idx: &Expr, uint_ty: UintTy) -> Ty