On Thursday, 10 June 2021 at 17:53:17 UTC, Steven Schveighoffer wrote: > You're not wrong, but it doesn't fix existing code which might > not have done it that way. Now that I think about it, array bounds error is an array contract error, which will make most errors contract errors, with little left for other errors.