checker/tests/guieffect/SafeParent.java

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

public class SafeParent {
  @SafeEffect
  void m() {}
}