Fix trivial wf module argument/doc comment name mismatches#157362

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

fallible-algebra:typos/arg-in-wffallible-algebra/rust:typos/arg-in-wfCopy head branch name to clipboard