SafeByDecl.java

package packagetests;

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

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