Optimisation: avoid emitting type tests for verify bounds that always hold#152579

amandasystems wants to merge 1 commit intorust-lang:mainrust-lang/rust:mainfrom

amandasystems:skip-useless-type-testsamandasystems/rust:skip-useless-type-testsCopy head branch name to clipboard