Hacker News new | ask | show | jobs
by erickt 4227 days ago
That's a good point. I filed https://github.com/rust-lang/rust/issues/19168 to get it fixed.