Running the example's code doesn't produce the proposed result. Because of this fact, the example's explanation is incorrect too. [Check related thread on r/learnrust](https://www.reddit.com/r/learnrust/comments/i1722o/statically_determined_invalid_array_element/).