checker/tests/guieffect/packagetests/SafeByDecl.java

package packagetests;

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

@SafeType
public class SafeByDecl {
  public static void safeByTypeDespiteUIPackage() {}
}