Add new test for #8020.