Add diagnostics for specific cases for const/type mismatch err#82055

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

JulianKnodt:ty_where_constJulianKnodt/rust:ty_where_constCopy head branch name to clipboard