If I understand correctly, it is possible for sqlx to do a form of compile time verification of queries. And the way it does this, is at compile time, it connects to the database using DATABASE_URL env variable and performs some checks against the database.
My question is, how does sqlx ensure safety? How does sqlx ensures that the verification does not actually mutates the database? I mean how does it handle checks for queries like delete, insert, update etc?
