Remove @RelevantJavaTypes annotation from SameLenChecker

Author: mernst

checker/src/main/java/org/checkerframework/checker/index/samelen/SameLenChecker.java

@@ -1,7 +1,6 @@
 package org.checkerframework.checker.index.samelen;
 
 import org.checkerframework.common.basetype.BaseTypeChecker;
-import org.checkerframework.framework.qual.RelevantJavaTypes;
 import org.checkerframework.framework.source.SuppressWarningsPrefix;
 
 /**
@@ -10,7 +9,9 @@
  *
  * @checker_framework.manual #index-checker Index Checker
  */
-@RelevantJavaTypes({CharSequence.class, Object[].class, Object.class})
+// This @RelevantJavaTypes annotation is incorrect, because @SameLen can apply to an arbitrary
+// user-defined datatype: https://checkerframework.org/manual/#index-annotating-fixed-size .
+// @RelevantJavaTypes({CharSequence.class, Object[].class, Object.class})
 @SuppressWarningsPrefix({"index", "samelen"})
 public class SameLenChecker extends BaseTypeChecker {
   /** Create a new SameLenChecker. */