minor follow up to removing soft mode #[unstable]#155039

rust-bors[bot] merged 1 commit intorust-lang:mainrust-lang/rust:mainfrom

WaffleLapkin:hard_unstableWaffleLapkin/rust:hard_unstableCopy head branch name to clipboard