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