| public class PrintArray { |
| // the I18n checker correctly issues an error and Nullness org.checkerframework.checker correctly |
| // issue a warning below, but we would like to keep this test in all-systems. |
| @SuppressWarnings({"i18n", "nullness:nulltest.redundant"}) |
| public static final void print(java.io.PrintStream ps, Object[][] a) { |
| if (a == null) { |
| ps.println("null"); |
| return; |
| } |
| // When analyzing this call, we see an exception about taking the LUB |
| // of ATMs with different numbers of qualifiers. |
| ps.print('7'); |
| } |
| } |