Add a test for closed issue #9259

This must have been fixed in some recent trans refactor/rewrite, hurray!

Closes #9259
auto merge of #11606 : alexcrichton/rust/issue-9259, r=brson

This must have been fixed in some recent trans refactor/rewrite, hurray!

Closes #9259