extra: Add a testcase for #7256.