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