domain check constraint should also consider domain's collation

hi.

CREATE COLLATION case_insensitive (provider = icu, locale =
'@colStrength=secondary', deterministic = false);
SELECT 'a' = 'A' COLLATE case_insensitive;
CREATE DOMAIN d1 as text collate case_insensitive check (value <> 'a');
SELECT 'A'::d1;

``SELECT 'A'::d1`` should error out as domain check constraint not satisfied?

If so, attached is the POC trying to implement it.