Add a testcase for PR gas/11867.