It adds some comments about the ArrayBound and ArrayBoundV2. It would help the users deciding which to enable.
Further thoughts on this:
If V2 warns for all cases where V1 does, why do we let them enable both at the same time?
steakhal on Apr 20 2021, 1:55 AM.Authored by