mini-java/miniJava/tests/pa3_tests/fail339.java

/*** incompatible types in assignment
 * COMP 520
 * Type checking
 */
class C1 {
    public static void main(String [] args) {
	C2 c = new C1(); 
    }
}

class C2 {
}