Literal array creation with `@PolyDet` as the default type

With `@PolyDet` as the default type, the code `new String[] {}` does not type-check:

```
MyFile.java:16: error: [determinism:invalid.array.component.type] array type (@PolyDet String @Det []) cannot have component type (@PolyDet)
    new String[] {}
    ^
```

Neither does `new String[] {"hello"}`.