ERROR: verify-idx-count: incompatible value type: cannot determine type of empty array

[chenglinLiang]

Describe the problem

I encountered an error when creating an index on a table. However, when I used an equivalent SQL to create the table and the index, there was no error.

To Reproduce Error

CREATE TABLE t0 (
    c0 TIME CHECK (
        (
            ARRAY[B'1']
        ) NOT BETWEEN SYMMETRIC (
            CASE  
                WHEN false THEN ARRAY[] 
                ELSE ARRAY[] 
            END
        ) AND (
            ARRAY[B'1']
        )
    )
);
CREATE INDEX ON t0(c0);

ERROR: verify-idx-count: incompatible value type: cannot determine type of empty array. Consider casting to the desired type, for example ARRAY[]::int[]
SQLSTATE: 42P18

Correct

CREATE TABLE t0 (
    c0 TIME CHECK (
        (
            ARRAY[B'1']
        ) NOT BETWEEN SYMMETRIC (
            ARRAY[] 
        ) AND (
            ARRAY[B'1']
        )
    )
);
CREATE INDEX ON t0(c0);

Expected behavior No error.

Environment:

• CockroachDB version [v24.1.0-alpha.5(40cc14f)]
• Server OS: [Ubuntu 20.04.6]
• Client app [cockroach sql]

Jira issue: CRDB-40095

[blathers-crl[bot]]

Hi @chenglinLiang, please add branch-* labels to identify which branch(es) this C-bug affects.

_{:owl: Hoot! I am a Blathers, a bot for CockroachDB. My owner is dev-inf.}

[blathers-crl[bot]]

Hello, I am Blathers. I am here to help you get the issue triaged.

Hoot - a bug! Though bugs are the bane of my existence, rest assured the wretched thing will get the best of care here.

I was unable to automatically find someone to ping.

If we have not gotten back to your issue within a few business days, you can try the following:

• Join our community slack channel and ask on #cockroachdb.
• Try find someone from here if you know they worked closely on the area and CC them.

_{:owl: Hoot! I am a Blathers, a bot for CockroachDB. My owner is dev-inf.}

[yuzefovich]

Thanks for the report! I think this is a dup of #114316 and should be fixed on latest versions.