gen_random helper: move ptr argument to front#883

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

RalfJung:gen_randomRalfJung/miri:gen_randomCopy head branch name to clipboard