mozilla/rust — pull request #13556 by michaelwoerister (2014-04-16 12:43:05+00:00)
Title: debuginfo: Add a test case for issue #12886.

This is a test case verifying that issue #12886 was indeed fixed by PR #13441 from last week.
Fixes #12886.