Test case for PR12495.