cow-sdk-core 0.1.0-alpha.10

Shared CoW Protocol core types and validation primitives
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

//! Live `trybuild` harness for the pinned compile-fail witness that
//! proves the typed amount surface exposes no bare arithmetic operators
//! (`+` `-` `*` and the `*Assign` variants) and no `pow`.
//!
//! The witness source lives at
//! `tests/ui/amount_arithmetic_operators_removed.rs` and its captured
//! diagnostic snapshot lives alongside as
//! `tests/ui/amount_arithmetic_operators_removed.stderr`. On every
//! `cargo test` run the `trybuild::TestCases` harness compiles the
//! witness through `rustc` and asserts the captured stderr matches the
//! live diagnostic, so a regression that re-introduces a wrapping (or
//! debug-only panicking) operator on the typed amount surface fails the
//! test rather than passing a stale snapshot.

#[test]
fn typed_amount_arithmetic_surface_rejects_bare_operators_at_compile_time() {
    let cases = trybuild::TestCases::new();
    cases.compile_fail("tests/ui/amount_arithmetic_operators_removed.rs");
}

/// Companion witness proving the typed amount surface also exposes no
/// infallible `From<String>` / `From<&str>` conversion, so callers cannot
/// bypass the fail-closed `Amount::new` / `Amount::parse_units` boundary
/// with a bare `.into()`. The captured `tests/ui/amount_string_conversion_rejected.stderr`
/// snapshot pins the contract; adding such a `From` impl fails this test.
#[test]
fn typed_amount_surface_rejects_infallible_string_conversion_at_compile_time() {
    let cases = trybuild::TestCases::new();
    cases.compile_fail("tests/ui/amount_string_conversion_rejected.rs");
}