when https://github.com/mozilla/rust/issues/6515 is fixed.