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.