Eliminate array bounds check for trivial case

[frangio]

The following code seems to do the bounds check even though it is trivially unnecessary.

uint[] memory a = new uint[](1);
a[0] = x;

Ideally the optimizer would also catch less trivial but apparently easy cases like for loops where the index is checked to be in bounds as part of the loop condition.

Related: #9117

[github-actions]

This issue has been marked as stale due to inactivity for the last 90 days.
It will be automatically closed in 7 days.

[github-actions]

Hi everyone! This issue has been automatically closed due to inactivity.
If you think this issue is still relevant in the latest Solidity version and you have something to contribute, feel free to reopen.
However, unless the issue is a concrete proposal that can be implemented, we recommend starting a language discussion on the forum instead.