Compilation of this file should fail.