testsuite: add test for #10177
Signed-off-by:Austin Seipp <austin@well-typed.com> (cherry picked from commit 854fd123)
Loading
Please register or sign in to comment
Signed-off-by:Austin Seipp <austin@well-typed.com> (cherry picked from commit 854fd123)