Testcase for PR14130, which was probably fixed by r183859.