remove usages of to-be-deprecated numeric constants#153931

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

cyrgani:old-constscyrgani/rust:old-constsCopy head branch name to clipboard