That's a good point. I filed https://github.com/rust-lang/rust/issues/19168 to get it fixed.