Remove a workaround for a bug (take 2)#151002

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

bjorn3:remove_bug_workaroundbjorn3/rust:remove_bug_workaroundCopy head branch name to clipboard