Crate hyperdb_compile_check 

Compile-time SQL validation logic for hyperdb-api.

This is a regular library crate (not a proc-macro crate) so that its validation logic — registry, dry-run, SQLSTATE classification, name-subset diff — can be unit-tested with standard cargo test without trybuild.

The proc-macro shells in hyperdb-api-derive call into this crate when the compile-time feature is enabled. No syn/quote/proc-macro2 types appear in this crate’s public API.

Architecture

hyperdb-api-derive  (proc-macro shell, thin)
  └─(compile-time feature)─→ hyperdb-compile-check  (this crate, testable)
                                 └─→ hyperdb-api  (HyperProcess, Connection, …)

The three-crate split avoids the circular dependency that would arise from adding hyperdb-api as a direct dep of hyperdb-api-derive (which hyperdb-api already depends on).

Re-exports

pub use db::CompileTimeDb;

pub use diagnostic::ValidationError;

pub use registry::Registry;

pub use validate::validate_query_as;

pub use validate::validate_scalar_sql;

Modules

db

Shared Hyper instance for compile-time validation.

diagnostic

ValidationError variants and human-readable formatting.

dry_run

LIMIT 0 dry-run helper.

error_extract

SQLSTATE-based Hyper error classification.

registry

Table and struct registry for compile-time validation.

validate

validate_query_as — the single entry point for query_as! validation.