Failure test to reproduce the compilation failure on
generated "Assert.java" (should not be generated at all)