intrinsics: remove unnecessary leading underscore from argument names#138387

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:intrinsic-arg-namesRalfJung/rust:intrinsic-arg-namesCopy head branch name to clipboard