mini-java/miniJava/tests/pa2_tests/fail234.java

// PA2 invalid type in parameter declaration
class A {
    void p(void [] x){ }
}