#62864 taught the JIT to recognize more pattern to eliminate bound checks for array and span indexing. Thus the workarounds like the uint-casts aren't needed anymore, and could be undone.

Also cf. #64899 (comment)

category:cq
theme:bounds-checks
skill-level:beginner
cost:small
impact:small