ArrayType != PointerType as far as JSON backend is concerned