give *even better* suggestion when matching a const range notice that the err already has "constant defined here" so this is now *exceedingly clear* extension to #76222 r? @estebank
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.