Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
disallow inf lower bound, -inf upper bound
If the lower bound is `inf`, no integer number will satisfy the lower bound, which implies the array must have size zero, in which case the bounds are useless. This patch disallows `inf` lower bounds and `-inf` upper bounds.
- Loading branch information