feat: meta-annotation that allows annotations to propagate multiple times

This is useful when we want some mutators for types with common
ancestors (or even all types in the fuzz test method) to share common
annotations. E.g. we can annotate the fuzz test method with an
annotation that will be used by all String mutators, but in addition
we also want that some String mutators have the same annotation but
with different data.

Author: oetr

src/main/java/com/code_intelligence/jazzer/mutation/support/TypeSupport.java

@@ -27,6 +27,7 @@
 
 import com.code_intelligence.jazzer.mutation.annotation.NotNull;
 import com.code_intelligence.jazzer.mutation.annotation.WithLength;
+import com.code_intelligence.jazzer.mutation.utils.IgnoreRecursiveConflicts;
 import com.code_intelligence.jazzer.mutation.utils.PropertyConstraint;
 import java.lang.annotation.Annotation;
 import java.lang.annotation.Inherited;
@@ -578,6 +579,9 @@ private static Annotation[] checkExtraAnnotations(
               .collect(Collectors.toCollection(HashSet::new));
       for (Annotation annotation : extraAnnotations) {
         boolean added = existingAnnotationTypes.add(annotation.annotationType());
+        if (annotation.annotationType().isAnnotationPresent(IgnoreRecursiveConflicts.class)) {
+          continue;
+        }
         require(added, annotation + " already directly present on " + base);
       }
       return extraAnnotations;

src/main/java/com/code_intelligence/jazzer/mutation/utils/IgnoreRecursiveConflicts.java

@@ -0,0 +1,38 @@
+/*
+ * Copyright 2025 Code Intelligence GmbH
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package com.code_intelligence.jazzer.mutation.utils;
+
+import static java.lang.annotation.ElementType.ANNOTATION_TYPE;
+import static java.lang.annotation.RetentionPolicy.RUNTIME;
+
+import java.lang.annotation.Documented;
+import java.lang.annotation.Retention;
+import java.lang.annotation.Target;
+
+/**
+ * A meta-annotation to turn off the check in {@code checkExtraAnnotations} that throws if some
+ * annotation is present multiple times on a type. This allows annotations like e.g.
+ * {@code @DictionaryProvider} to be propagated down the type hierarchy and accumulated alone the
+ * way. <br>
+ * E.g. {@code @A("data1") List<@A("data2") String> arg} - the String mutator will can make use of
+ * {@code @A("data1")} and {@code @A("data1")}, but the List mutator can only see
+ * {@code @A("data1")}.
+ */
+@Target(ANNOTATION_TYPE)
+@Retention(RUNTIME)
+@Documented
+public @interface IgnoreRecursiveConflicts {}