Fix rustc --profile=dev unstable check.#9898

bors merged 1 commit into

rust-lang:masterrust-lang/cargo:masterfrom

ehuss:rustc-profile-devehuss/cargo:rustc-profile-devCopy head branch name to clipboard