JSON parameter binding infers different numeric types than JSON literal casting

[alex-clickhouse]

Company or project name

No response

Describe what's wrong

When creating a JSON object from a query parameter, ClickHouse infers numeric types differently than when parsing the same JSON literal with ::Json. This causes semantically identical JSON objects to compare as unequal.

Does it reproduce on the most recent release?

Yes

How to reproduce

curl 'http://localhost:8123/?param_x=%7B%22a%22%3A1%7D'   -d "SELECT {x:Json} as j1, '{\"a\":1}'::Json as j2, j1 = j2 as equals, JSONAllPathsWithTypes(j1), JSONAllPathsWithTypes(j2)"
{"a":1}	{"a":1}	0	{'a':'Int8'}	{'a':'Int64'}

Expected behavior

No response

Error message and/or stacktrace

No response

Additional context

No response

[alex-clickhouse]

A probably related issue with parameters and Variant types:

Let's start with something that works as expected:

curl -X POST -F 'query=select {p1:Float32}' -F "param_p1=3.14" 'http://localhost:8123/'
3.14

But if you tell it the type is a variant, it looks like it converts it to a Float64 first and then complains that it doesn't fit into the Variant:

curl -X POST -F 'query=select {p1:Variant(Float32,String)}' -F "param_p1=3.14" 'http://localhost/:
8123/'
Code: 70. DB::Exception: Cannot convert type Float64 to Variant(Float32, String). Conversion to Variant allowed only for types from this Variant: In scope SELECT _CAST(3.140000104904175, 'Variant(Float32,String)'). (CANNOT_CONVERT_TYPE) (version 25.10.1.2357 (official build))

Similarly with Date/Date32/DateTime/Date:

curl -X POST -F 'query=select {p1:Variant(Date,String)}' -F "param_p1=2021-01-05" 'http://localho/
st:8123/'
Code: 70. DB::Exception: Cannot convert type UInt16 to Variant(Date, String). Conversion to Variant allowed only for types from this Variant: In scope SELECT _CAST(18632, 'Variant(Date,String)'). (CANNOT_CONVERT_TYPE) (version 25.10.1.2357 (official build))

Also happens with Int32/Int64/UInt32/UInt64.

[Avogar]

A probably related issue with parameters and Variant types:

Yes, same issue.