Non-Materialized CTE bug?

create table types (type varchar);
CREATE TABLE
insert into types values ('a');

with test (i, j) as
(values ( 1, '{"key": "a", "value": "true"}'::json), (2, '{"key": "b",
"value": "xxx"}'::json)),
test2 (i, j) as (select i, (j->>'value')::boolean
from test a
join types b on b.type = a.j->>'key') select * from test2 where j = true;

ERROR: invalid input syntax for type boolean: "xxx"

Why would this result in an error here? It seems like the second row from
the "test" CTE should be excluded since the key value "b" will not join with
anything in the "types" table. If I materialize the "test2" CTE, then it
works as I'd expect without error. Is this a bug? It seems like the
optimizer should be smart enough to know that it has to materialize that
CTE. This is on version 12.4.

Thanks for the help.
Greig Wise

--
Sent from: https://www.postgresql-archive.org/PostgreSQL-bugs-f2117394.html