Well, if you love this kind of bug reports, please take a look at the one I filed a while ago :) https://github.com/rust-lang/rust/issues/11724 https://github.

Well, if you love this kind of bug reports, please take a look at the one I filed a while ago :) https://github.com/rust-lang/rust/issues/11724 https://github.com/rust-lang/rust/issues/11724 Thanks!