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

Merged

bors merged 3 commits intorust-lang:masterfrom

JulianKnodt:ty_where_const

Feb 18, 2021

Commits on Feb 13, 2021

Add additional type info to mismatch err
JulianKnodt
committed

Commits on Feb 16, 2021