Suggest adding array lengths to references to arrays if possible ref: https://github.com/rust-lang/rust/pull/100590#pullrequestreview-1096851146
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.