Add test for #12745