auto: testsuite: Add test for #4523

Just a compile-fail test.