Constant WITH_CHECK 

pub const WITH_CHECK: PolicyMarker;

Specifies a WITH CHECK expression for INSERT/UPDATE policies.

Example

#[PostgresPolicy(WITH_CHECK = "tenant_id = current_setting('app.tenant_id')::int")]
struct TenantWritePolicy(Users);

See: https://www.postgresql.org/docs/current/sql-createpolicy.html