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