flux_refineck::checker

Function guarded_uint_ty

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