rust-lang/rust — pull request #15709 by hirschenberger (2014-07-16 11:16:12+00:00)
Title: fixes #14269

See #14269