Update test

Author: mernst

checker/tests/index/SameLenIrrelevant.java

@@ -1,20 +1,24 @@
 // Tests that adding an @SameLen annotation to a primitive type is still
 // an error.
 
+// All the errors in this test case are disabled.  They were issued when `@SameLen` was restricted
+// to arrays and CharSequence, but @SameLen can be written on an arbitrary user-defined type:
+// https://checkerframework.org/manual/#index-annotating-fixed-size .
+
 import org.checkerframework.checker.index.qual.SameLen;
 
 public class SameLenIrrelevant {
-  // :: error: (anno.on.irrelevant)
+  // NO :: error: (anno.on.irrelevant)
   public void test(@SameLen("#2") int x, int y) {
     // do nothing
   }
 
-  // :: error: (anno.on.irrelevant)
+  // NO :: error: (anno.on.irrelevant)
   public void test(@SameLen("#2") double x, double y) {
     // do nothing
   }
 
-  // :: error: (anno.on.irrelevant)
+  // NO :: error: (anno.on.irrelevant)
   public void test(@SameLen("#2") char x, char y) {
     // do nothing
   }