checker/tests/guieffect/GenericTaskSafeConsumer.java

import org.checkerframework.checker.guieffect.qual.AlwaysSafe;
import org.checkerframework.checker.guieffect.qual.SafeEffect;

public interface GenericTaskSafeConsumer {
  @SafeEffect
  public void runAsync(@AlwaysSafe IGenericTask t);
}