Skip to content

[CALCITE-7347] UNKNOWN type inferred for array element type #4800

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mihaibudiu merged 1 commit into from
Feb 18, 2026
Merged

[CALCITE-7347] UNKNOWN type inferred for array element type #4800

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions babel/src/test/resources/sql/spark.iq
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,23 @@
#
# Returns BOOLEAN

# Test case for [CALCITE-7347] https://issues.apache.org/jira/browse/CALCITE-7347
# UNKNOWN type inferred for array element type
SELECT DISTINCT t.f1, t.f2, CAST(t.f3 AS VARCHAR ARRAY) AS f3, t.f4
FROM (VALUES
('a', 1, ARRAY['by'], true),
('b', 1, ARRAY(), false)
) AS t (f1, f2, f3, f4);
EnumerableCalc(expr#0..2=[{inputs}], expr#3=[1], F1=[$t0], F2=[$t3], F3=[$t1], F4=[$t2])
EnumerableAggregate(group=[{0, 1, 2}])
EnumerableCalc(expr#0..2=[{inputs}], expr#3=[CAST($t1):VARCHAR NOT NULL ARRAY NOT NULL], F1=[$t0], F3=[$t3], F4=[$t2])
EnumerableUnion(all=[true])
EnumerableCalc(expr#0=[{inputs}], expr#1=['a'], expr#2=['by'], expr#3=[ARRAY($t2)], expr#4=[true], EXPR$0=[$t1], EXPR$2=[$t3], EXPR$3=[$t4])
EnumerableValues(tuples=[[{ 0 }]])
EnumerableCalc(expr#0=[{inputs}], expr#1=['b'], expr#2=[ARRAY()], expr#3=[CAST($t2):CHAR(2) NOT NULL ARRAY NOT NULL], expr#4=[false], EXPR$0=[$t1], EXPR$2=[$t3], EXPR$3=[$t4])
EnumerableValues(tuples=[[{ 0 }]])
!plan

select NULL RLIKE 'abc*';
EXPR$0
null
Expand Down
2 changes: 1 addition & 1 deletion core/src/main/java/org/apache/calcite/sql/type/SqlTypeFactoryImpl.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -327,7 +327,7 @@ private static void assertBasic(SqlTypeName typeName) {
RelDataTypeFamily family = type.getFamily();

final SqlTypeName typeName = type.getSqlTypeName();
if (typeName == SqlTypeName.NULL) {
if (typeName == SqlTypeName.NULL || typeName == SqlTypeName.UNKNOWN) {
Copy link
Copy Markdown
Member

@asolimando asolimando Feb 18, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I was going to suggest that this reminded me of typing rules for NULL, and it makes total sense to me

continue;
}

Expand Down
2 changes: 1 addition & 1 deletion testkit/src/main/java/org/apache/calcite/test/SqlOperatorTest.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9172,7 +9172,7 @@ void checkArrayReverseFunc(SqlOperatorFixture f0, SqlFunction function,
f1.checkScalar("map_concat(map(1, 2), map(1, null))", "{1=null}",
"(INTEGER NOT NULL, INTEGER) MAP NOT NULL");
f1.checkScalar("map_concat(map('foo', 1), map())", "{foo=1}",
"(UNKNOWN NOT NULL, UNKNOWN NOT NULL) MAP NOT NULL");
"(CHAR(3) NOT NULL, INTEGER NOT NULL) MAP NOT NULL");

// test operand is null map
f1.checkNull("map_concat(map('foo', 1), cast(null as map<varchar, int>))");
Expand Down
Loading