Moreover, adding fail_compilation tests for the not accepted syntax cases would be better.