hexser 0.6.0

Zero-boilerplate hexagonal architecture with graph-based introspection
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

//! Compile-fail (UI) tests for the derive macros.
//!
//! These verify that misusing a derive produces a clear compile error rather than silently
//! doing the wrong thing. Runtime behavior (successful derives, graph registration) is covered
//! by `derive_registration_test.rs` and `macro_tests.rs`; this file covers the failure cases
//! that can only be observed at compile time.
//!
//! ⚠ The `.stderr` files are EXACT compiler output. If a case fails on formatting alone —
//! same message, different caret art or column — regenerate with `TRYBUILD=overwrite cargo
//! test -p hexser --test trybuild_ui` and read the diff before accepting it: a changed
//! MESSAGE is a behaviour change, a changed caret is a toolchain artifact.
//!
//! The expected compiler output lives alongside each `.rs` case as a `.stderr` file. If a
//! future toolchain changes the wording, regenerate with `TRYBUILD=overwrite cargo test`.
//!
//! Revision History
//! - 2026-09-04T00:00:00Z @AI: Second case: a registration derive on a generic type must
//!   error instead of silently dropping the inventory submission.
//! - 2026-07-20T00:00:00Z @AI: Add trybuild UI suite; first case: HexEntity without an `id` field must error.

/// why: each case pins a derive REFUSING bad input. `generic_domain.rs` is the falsifier for
/// the silent-omission defect: `#[derive(HexDomain)]` on a generic used to compile, implement
/// `Registrable`, and never reach the graph. Flip: restore the empty-TokenStream arm in
/// `codegen.rs` and this case compiles, so trybuild fails with "expected test case to fail to
/// compile, but it succeeded".
///
/// why: HexEntity must reject a struct with no `id` field with a clear, actionable error
/// instead of silently defaulting `type Id = String` (M15). A compile-fail test is the only
/// way to assert a derive rejects bad input.
#[cfg(feature = "macros")]
#[test]
fn ui_compile_fail() {
  let t = trybuild::TestCases::new();
  t.compile_fail("tests/ui/fail/*.rs");
}