> limits are quite useful to catch bugs (or prevent degenerate cases) Sure, this is why code designed by ZOI rule has those straight forward test cases: none,

> limits are quite useful to catch bugs (or prevent degenerate cases) Sure, this is why code designed by ZOI rule has those straight forward test cases: none, one, some, many aaaand crash (at most). and for safeguard of correct use (limits as undefined behaviour) many languages have assertions.