vyre-libs 0.7.2

vyre Category A library ecosystem - pure-IR compositions over foundation IR and primitive-owned kernels
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

//! Parser edit delta contracts test suite.

const CONTRACTS: &str = include_str!("../../docs/optimization/PARSER_EDIT_DELTA_CONTRACTS.toml");

#[test]
fn parser_edit_delta_contracts_record_reuse_and_invalidation() {
    for field in [
        "old_tree_digest",
        "new_tree_digest",
        "changed_ranges",
        "reused_node_count",
        "invalidated_fact_ranges",
        "scan_impact",
        "compiler_impact",
    ] {
        assert!(
            CONTRACTS.contains(field),
            "edit-delta contract must expose {field}"
        );
    }

    assert!(CONTRACTS.contains("rust-small-edit-span-limited"));
    assert!(CONTRACTS.contains("c-macro-body-invalidates-expansion"));
    assert!(CONTRACTS.contains("invalidated fact ranges cover every changed source range"));
}