ClickHouse/dbms/tests/queries/0_stateless/00547_named_tuples.sql

SELECT CAST((1, 'Hello') AS Tuple(x UInt64, s String)) AS t, toTypeName(t), t.1, t.2, tupleElement(t, 'x'), tupleElement(t, 's');