cmd/compile: unnecessary bounds check

[gnojus]

go1.21.5

package p

func f(i int) {
    var t [3]int
    if i >= 0 {
        _ = t[i%len(t)]
    }
}

https://godbolt.org/z/Tda3649sv

I would assume, since i is non negative, i % len(t) should always be in bounds? But the assembly contains a panicIndex.

[Jorropo]

I'm pretty sure this is a duplicate of #63110

[mknyszek]

Closing as a duplicate of #63110. In triage we think it's pretty close to a duplicate, anyway.