Subclass.java

import org.checkerframework.checker.interning.qual.*;
import org.checkerframework.dataflow.qual.Pure;

public abstract class Subclass implements Comparable<Subclass> // note non-generic
{

    @Pure
    public int compareTo(Subclass other) {
        return 0;
    }
}