This could use a diagnostic test-case in the `fail_compilation` folder.