Add a test for d3af9807 (#5682)
Signed-off-by:Austin Seipp <austin@well-typed.com> (cherry picked from commit 5a576754)
Please register or sign in to comment
Signed-off-by:Austin Seipp <austin@well-typed.com> (cherry picked from commit 5a576754)