Issue with range types and casts?

select version();
version

--------------------------------------------------------------------------------------------------------------
PostgreSQL 9.2.3 on x86_64-unknown-linux-gnu, compiled by gcc (GCC)
4.4.6 20120305 (Red Hat 4.4.6-4), 64-bit

create table tenmin as select * from sampledata where collect_ts <@
'[2013-01-01 00:00:00,2013-01-01 00:10:00)';
ERROR: could not find range type for data type timestamp with time zone
Time: 0.189 ms

This seems like it ought to be fixable. Postgres has figured out that
it needs to find the range type for timestamptz. Why can't it?

--
Josh Berkus
PostgreSQL Experts Inc.
http://pgexperts.com