checker/tests/interning/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;
  }
}