Auto merge of #66873 - RalfJung:miri-args, r=dtolnay
Auto merge of #66873 - RalfJung:miri-args, r=dtolnay

really_init cmdline args on Miri

r? @joshtriplett

Closes #66862.

aidancully/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust