extra: Add a testcase for #7256.
auto merge of #7258 : huonw/rust/7256, r=bstrie