Test tests/traits.rs:36
Source location: tests/traits.rs:36
Rules proved (14)
Premises failed (0)
This test records no negative coverage.
Proof trees
Proof tree
check_all_crates (check all prefixes)mod.rs:55args
for_allmod.rs:42for_allmod.rs:52args
check_crate (check crate)mod.rs:76args
for_allmod.rs:61for_allmod.rs:73args
check_crate_item (trait)mod.rs:189args
check_trait (check trait)traits.rs:25args
scopetraits.rs:9prove_predicate_list (none)prove_predicate_list.rs:21args
for_alltraits.rs:9for_alltraits.rs:23args
check_trait_item (fn in trait)traits.rs:43args
check_fn_in_trait (check fn in trait)traits.rs:67args
check_fn (check fn)fns.rs:55scopefns.rs:31prove_predicate_list (none)prove_predicate_list.rs:21args
prove_predicate_list (some)prove_predicate_list.rs:28args
prove_predicate (parameter well formed)prove_predicate.rs:150args
prove_wf (tuples)prove_wf.rs:50args
prove_after (prove_after)prove_after.rs:20args
prove_predicate_list (none)prove_predicate_list.rs:21args
check_fn_body (no fn body)fns.rs:75args
check_coherence (check_coherence)coherence.rs:23args