Test case for "https://github.com/julianhyde/optiq/issues/285".