Add a testcase from pr16244.