| ### Error messages for the Lower Bound Checker |
| array.access.unsafe.low=Potentially unsafe array access: the index could be negative.%nfound : %s%nrequired: an integer >= 0 (@NonNegative or @Positive) |
| array.length.negative=Variable used in array creation could be negative.%nfound : %s%nrequired: an integer >= 0 (@NonNegative or @Positive) |
| from.not.nonnegative=While attempting to validate a subsequence type, the Lower Bound Checker could not prove that %s is non-negative.%nfound : %s%nrequired: an integer >= 0 (@NonNegative or @Positive) |