Currently this requires either `JSONValue(cast(JSONValue[])null)` or `"[]".toJsonValue()`.
Currently this requires either
JSONValue(cast(JSONValue[])null)or"[]".toJsonValue().