ArrayRefs.java

import checkers.nullness.quals.*;
import java.util.Arrays;
import java.util.List;

public class ArrayRefs {

    public void test() {

        String[] s = null;

        //:: (dereference.of.nullable)
        if (s.length > 0)
            System.out.println("s.length > 0");

    }

    public static void test2() {
        Object a = new Object();
        Arrays.<Object>asList (new Object[] {a});
    }

    <T> void test(T[] a) {
        test(a);
    }

    List<Object> @Nullable [] antecedents_for_suppressors () {
        return null;
    }

    public void find_suppressed_invs () {
        List<Object>[] antecedents = antecedents_for_suppressors ();
    }

}