Test case for issue #3207

typetools · Mar 30, 2020 · 51871c3 · 51871c3
1 parent 5e3f733
commit 51871c3
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/checker/tests/index/Issue3207.java b/checker/tests/index/Issue3207.java
@@ -0,0 +1,22 @@
+// Test case for https://tinyurl.com/cfissue/3207
+
+// @skip-test until the issue is fixed
+
+import org.checkerframework.checker.index.qual.LTLengthOf;
+import org.checkerframework.common.value.qual.MinLen;
+
+public class Issue3207 {
+
+    void m(int @MinLen(1) [] arr) {
+        @LTLengthOf("arr") int j = 0;
+    }
+
+    void m2(int @MinLen(1) [] @MinLen(1) [] arr) {
+        @LTLengthOf("arr[0]") int j = 0;
+    }
+
+    void m3(int @MinLen(1) [] @MinLen(1) [] arr) {
+        int @MinLen(1) [] arr0 = arr[0];
+        @LTLengthOf("arr0") int j = 0;
+    }
+}