batpak 0.8.0

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

// justifies: INV-TEST-PANIC-AS-ASSERTION; trybuild harness in tests/derive_event_sourced_errors.rs uses panic! internally to surface fixture mismatches; test bodies follow panic-as-assertion idiom.
#![allow(clippy::panic)]
//! Compile-fail coverage for the `#[derive(EventSourced)]` attribute contract.
//! Harness pattern: Fault-Injection Harness (compile-fail lane).
//!
//! Every fixture in `tests/ui/es_*.rs` violates a specific contract rule and
//! must fail to compile with a span-pointed error. The `.stderr` files pin
//! the exact error wording so regressions in message clarity or span quality
//! surface as trybuild diffs.

#[test]
#[serial_test::file_serial(trybuild)]
fn compile_fail_event_sourced_derive_errors() {
    let t = trybuild::TestCases::new();
    t.compile_fail("tests/ui/es_missing_input.rs");
    t.compile_fail("tests/ui/es_unknown_input.rs");
    t.compile_fail("tests/ui/es_missing_handler.rs");
    t.compile_fail("tests/ui/es_duplicate_event.rs");
    t.compile_fail("tests/ui/es_handler_wrong_signature.rs");
    t.compile_fail("tests/ui/es_mixed_attr_keys.rs");
    t.compile_fail("tests/ui/es_duplicate_input.rs");
    t.compile_fail("tests/ui/es_cache_version_not_u64.rs");
    t.compile_fail("tests/ui/es_on_enum.rs");
    t.compile_fail("tests/ui/es_on_tuple_struct.rs");
    t.compile_fail("tests/ui/es_zero_bindings.rs");
    t.compile_fail("tests/ui/es_duplicate_event_qualified.rs");
}