Adding EXCLUDE constraint to Postgres table

[skycoop]

I'm attempting to build a table for bids and would like to enforce that new bids for the same auction are higher and more recent than other bids for the same auction. This is possible in Postgres using an EXCLUDE constraint, but I can't find any way of representing this using sea-query. I thought TableCreateStatement.extra() might work, but it places the constraint outside of the table definition.

Is there any way to add this constraint using sea-query or do I need to fall back to raw SQL?

Current table def for reference

Table::create()
    .table(Bid::Table)
    .if_not_exists()
    .col(ColumnDef::new(Bid::Id).uuid().not_null().primary_key())
    .col(ColumnDef::new(Bid::AuctionId).uuid().not_null())
    .col(ColumnDef::new(Bid::UserId).uuid().not_null())
    .col(ColumnDef::new(Bid::Amount).double().not_null())
    .col(
        ColumnDef::new(Bid::Time)
            .timestamp_with_time_zone()
            .not_null(),
    )
    .foreign_key(
        ForeignKey::create()
            .name("fk-bid-auction_id")
            .from(Bid::Table, Bid::AuctionId)
            .to(Auction::Table, Auction::Id),
    )
    .foreign_key(
        ForeignKey::create()
            .name("fk-bid-user_id")
            .from(Bid::Table, Bid::UserId)
            .to(User::Table, User::Id),
    )

And the constraint I'm attempting to add is

 EXCLUDE USING gist (auction_id WITH =, time WITH <=, amount WITH <=)

[skycoop]

Turns out this approach doesn't work because of how operators work in this case.