Remove use of
the annotation was removed in version 2.9.0 of the checker framework,
see:
@@ -30,8 +30,8 @@ import java.util.Iterator;
import java.util.List;
import java.util.Set;
import org.checkerframework.framework.qual.DefaultQualifierInHierarchy;
-import org.checkerframework.framework.qual.ImplicitFor;
import org.checkerframework.framework.qual.LiteralKind;
+import org.checkerframework.framework.qual.QualifierForLiterals;
import org.checkerframework.framework.qual.SubtypeOf;
/**
@@ -54,7 +54,7 @@ public final class GroupedList<T> implements Iterable<List<T>> {
*/
@SubtypeOf(DefaultObject.class)
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
- @ImplicitFor(literals = LiteralKind.NULL)
+ @QualifierForLiterals(LiteralKind.NULL)
public @interface Compressed {}
/** Default annotation for type-safety checks of {@link Compressed}. */
