Check whether out of bound when access a known length array with a constant index

[cocodery]

fixes Issue#11762

Issue#11762 points that Array references with known length are not flagged when indexed out of bounds.

To fix this problem, it is needed to add check for Expr::Index. We expand this issue include reference and direct accessing a array.

When we access a array with a constant index off, and already know the length size, if off >= size, these code will throw an error, instead rustc's lint checking them or runtime panic happening.

changelog: [out_of_bound_indexing]: Add check for illegal accessing known length array with a constant index

[rustbot]

r? @llogiq

(rustbot has picked a reviewer for you, use r? to override)

[llogiq]

Looks good to me.

@bors r+

[bors]

📌 Commit 18eb406 has been approved by llogiq

It is now in the queue for this repository.

[bors]

⌛ Testing commit 18eb406 with merge e0b25c5...

[bors]

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: llogiq
Pushing e0b25c5 to master...