Consider this test case
CREATE TABLE ct1 (a int,b text COLLATE "C" NOT NULL);
CREATE TABLE ct2 (a int,b text COLLATE "POSIX");
create table ct3 as select * from ct1 union all select * from ct2;
Expected results is
ERROR: no collation was derived for column "b" with collatable type text
HINT: Use the COLLATE clause to set the collation explicitly.
Obtained result is
INSERT 0 0
It should have failed.
Test case is collation.sql