Revert #86011 to fix an incorrect bound check This reverts commit36a1076d24, reversing changes made toe1e9319d93. Fixes #89935 r? ``@estebank``
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.