mozilla/rust — pull request #6282 by alexcrichton (2013-05-06 23:20:20+00:00)
Title: Add a test for issue 5517

It appears the cause of #5517 was fixed in 0dc6c414, so adding a test so the issue can be closed.