PostgreSQL Exclusion Constraints

[janpio]

PostgreSQL supports exclusion constraints:

CREATE TABLE circles (
    c circle,
    EXCLUDE USING gist (c WITH &&)
);

(Also described in our DataGuide)

Currently these are falsely introspected as Gist indexes, which leads to problems like #15173

Instead we should figure out how to represent them properly in Prisma Schema Language, and fix introspection and migration of them.

[janpio]

In the meantime, we might make the experience when you have an exclusion constraint less bad: #17515

[gmwill934]

Any development on this?