Test `tests/traits.rs:14`

Source location: tests/traits.rs:14

Rules proved (14)

Judgment	Rule	All tests of this rule
check_all_crates	check all prefixes	131 tests
check_coherence	check_coherence	131 tests
check_crate	check crate	131 tests
check_crate_item	trait	131 tests
check_fn	check fn	96 tests
check_fn_body	no fn body	1 test
check_fn_in_trait	check fn in trait	2 tests
check_trait	check trait	131 tests
check_trait_item	fn in trait	2 tests
prove_after	prove_after	154 tests
prove_wc	parameter well formed	121 tests
prove_wc_list	none	155 tests
prove_wc_list	some	154 tests
prove_wf	tuples	36 tests

Premises failed (0)

This test records no negative coverage.

Proof trees

Proof tree

check_all_crates (check all prefixes) mod.rs:54
- args
- for_all mod.rs:41
  - for_all mod.rs:51
    
    args
    
    check_crate (check crate) mod.rs:75
    
    args
    
    for_all mod.rs:60
    
    for_all mod.rs:72
    
    args
    
    check_crate_item (trait) mod.rs:188
    
    args
    
    check_trait (check trait) traits.rs:26
    
    args
    
    prove_wc_list (none) prove_wc_list.rs:21
    
    args
    
    for_all traits.rs:9
    
    for_all traits.rs:24
    
    args
    
    check_trait_item (fn in trait) traits.rs:44
    
    args
    
    check_fn_in_trait (check fn in trait) traits.rs:68
    
    args
    
    check_fn (check fn) fns.rs:56
    
    prove_wc_list (none) prove_wc_list.rs:21
    
    args
    
    prove_wc_list (some) prove_wc_list.rs:28
    
    args
    
    prove_wc (parameter well formed) prove_wc.rs:154
    
    args
    
    prove_wf (tuples) prove_wf.rs:50
    
    args
    
    prove_after (prove_after) prove_after.rs:20
    
    args
    
    prove_wc_list (none) prove_wc_list.rs:21
    
    args
    
    check_fn_body (no fn body) fns.rs:76
    
    args
    
    check_coherence (check_coherence) coherence.rs:24
    
    args