Add a testcase for PR7434, which is a bug we no longer appear to have.