Fix some typos in arg checking algorithm#97303

Merged

bors merged 1 commit intorust-lang:masterfrom

compiler-errors:arg-typos

May 23, 2022

Commits on May 23, 2022

Fix some typos in arg checking algorithm
compiler-errors
committed