Rollup merge of #72547 - alex:patch-1, r=oli-obk
Rollup merge of #72547 - alex:patch-1, r=oli-obk

Added a codegen test for a recent optimization for overflow-checks=on

Closes #58692

graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,aidancully/rust