batpak 0.8.2

Event sourcing with causal graphs and caller-defined gates. Sync API, no async runtime.
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

// justifies: INV-TEST-PANIC-AS-ASSERTION; trybuild fixtures in tests/derive_eventpayload_errors.rs surface fixture-mismatch failures via panic; the compile-fail harness relies on that assertion shape.
#![allow(clippy::panic)]
//! Compile-fail coverage for the `#[derive(EventPayload)]` parser contract.
//! Harness pattern: Fault-Injection Harness (compile-fail lane).
//!
//! Every fixture in `tests/ui/ep_*.rs` is a stand-alone crate that should
//! fail to compile because of a specific violation of the pinned attribute
//! contract (ADR-0010). The `.stderr` files next to them pin the exact
//! error messages so regressions in span quality or wording show up as a
//! trybuild diff instead of a silent behaviour change.

#[test]
#[serial_test::file_serial(trybuild)]
fn compile_fail_derive_errors() {
    let t = trybuild::TestCases::new();
    t.compile_fail("tests/ui/ep_missing_attr.rs");
    t.compile_fail("tests/ui/ep_on_enum.rs");
    t.compile_fail("tests/ui/ep_on_tuple_struct.rs");
    t.compile_fail("tests/ui/ep_on_unit_struct.rs");
    t.compile_fail("tests/ui/ep_generic_enum.rs");
    t.compile_fail("tests/ui/ep_generic_struct.rs");
    t.compile_fail("tests/ui/ep_unknown_key.rs");
    t.compile_fail("tests/ui/ep_duplicate_key.rs");
    t.compile_fail("tests/ui/ep_missing_key.rs");
    t.compile_fail("tests/ui/ep_invalid_category.rs");
    t.compile_fail("tests/ui/ep_invalid_type_id.rs");
    t.compile_fail("tests/ui/ep_multiple_attrs.rs");
}