Skip to content

Slightly improve error message for invalid identifier#104309

Merged
bors merged 3 commits intorust-lang:masterfrom chenyukang:yukang/fix-104088-identifier-errorNov 15, 2022

Commits

Commits on Nov 15, 2022