Add testcase for #8563