Add original bug report from #9732 as a test case