Removed. See https://github.com/mozilla/rust/pull/13700#r11921332