annotation-file-utilities/tests/ArrayLiteral.goal

class ArrayLiteral {
    @checkers.inference.quals.VarAnnot(2)
    int @checkers.inference.quals.VarAnnot(3) [] s0= ((new int @checkers.inference.quals.VarAnnot(1) [] {}));
    @checkers.inference.quals.VarAnnot(5)
    int @checkers.inference.quals.VarAnnot(6) [] s1 = ((new int @checkers.inference.quals.VarAnnot(4) [] {0, 1}));
    @checkers.inference.quals.VarAnnot(8)
    String @checkers.inference.quals.VarAnnot(9) [] s2 = ((new String @checkers.inference.quals.VarAnnot(7) [] {"TEST"}));
    @checkers.inference.quals.VarAnnot(11)
    String @checkers.inference.quals.VarAnnot(12) [] s3 = ((new String @checkers.inference.quals.VarAnnot(10) [] { "TEST" }));
}