debtmap 0.16.3

Code complexity and technical debt analyzer
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/// UI tests for compile-time guarantees using trybuild
///
/// These tests verify that the type-state pattern prevents invalid
/// usage at compile time. Tests in the ui/ directory should fail to
/// compile, demonstrating that the type system enforces correct usage.

#[test]
#[ignore] // Slow: compiles full crate. Run with: cargo test --ignored
fn ui() {
    let t = trybuild::TestCases::new();

    // This test should fail to compile because unvalidated config
    // cannot be executed - the type system prevents it
    t.compile_fail("tests/ui/unvalidated_execute.rs");
}