Do we want to just close https://github.com/mozilla/rust/issues/7794 as wontfix instead? Perhaps bring it up at the meeting?