Skip to content

compiletest: Rename //@ ignore-pass to //@ no-pass-override#156531

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Zalathar:no-pass-override
May 14, 2026
Merged

compiletest: Rename //@ ignore-pass to //@ no-pass-override#156531
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Zalathar:no-pass-override

Commits

Commits on May 13, 2026