Rollup merge of #120400 - estebank:bound-error-cleanup, r=oli-obk

Bound errors span label cleanup

Consolidate span labels for "this type doesn't satisfy a bound" for more compact diagnostic output.

Author: GuillaumeGomez