miri: require (almost) all 1-ZST arguments to be actually passed#156085

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

RalfJung:miri-ignored-argsRalfJung/rust:miri-ignored-argsCopy head branch name to clipboard