CFG inlining: IgnoreNullabilityOnPrimitiveCast.java test

2026-09-27 10:03:11 +07:00 · 2017-07-27 11:57:01 +07:00
parent ff3e0fc007
commit 66eabcc11e
1 changed files with 7 additions and 0 deletions
@@ -0,0 +1,7 @@
+import foo.*;
+
+class IgnoreNullabilityOnPrimitiveCast {
+  private static int map(@Nullable int[] mapping, int idx) {
+    return <warning descr="Array access 'mapping[idx]' may produce 'java.lang.NullPointerException'">mapping[idx]</warning>;
+  }
+}