checker/tests/interning/ClassDefaults.java

import java.util.List;
import org.checkerframework.checker.interning.qual.Interned;

/*
 * This test case excercises the interaction between class annotations
 * and method type argument inference.
 * A previously existing Unqualified annotation wasn't correctly removed.
 */
public class ClassDefaults {
  @Interned class Test {}

  public static interface Visitor<T> {}

  class GuardingVisitor implements Visitor<List<Test>> {
    void call() {
      test(this);
    }
  }

  <T> T test(Visitor<T> p) {
    return null;
  }

  void call(GuardingVisitor p) {
    test(p);
  }
}