import org.checkerframework.dataflow.qual.Pure;
import org.checkerframework.checker.testchecker.ainfer.qual.AinferSibling1;
import org.checkerframework.checker.testchecker.ainfer.qual.AinferDefaultType;
import org.checkerframework.framework.qual.AnnotatedFor;

@AnnotatedFor("org.checkerframework.checker.testchecker.ainfer.AinferTestChecker")
class ExistingPurityAnnotations {

  // methods:

  @Pure
  java.lang.Object pureMethod(@AinferSibling1 java.lang.Object object);

}
