docs: public static Set<? extends Element> annotatedElementsIn(
        RoundEnvironment roundEnv, Class<? extends Annotation> a) {
      return Sets.filter(roundEnv.getElementsAnnotatedWith(a),
          element -> element.getAnnotation(a) != null);
    }