Positive coverage: check_fn_in_trait / check fn in trait
check fn in trait| Line | Coverage | Source |
|---|---|---|
| 67 | ✗ | (super::fns::check_fn(program, env, assumptions, f, crate_id) => ()) |
| ──────── ("check fn in trait") | ||
| 69 | 2 | (check_fn_in_trait(program, env, assumptions, f, crate_id) => ()) |
2 tests exercised this rule:
Source location: tests/basic_tests.rs:426
Proof tree
check_all_crates (check all prefixes)mod.rs:54for_allmod.rs:41for_allmod.rs:51check_crate (check crate)mod.rs:75for_allmod.rs:60for_allmod.rs:72check_crate_item (trait)mod.rs:173check_trait (check trait)traits.rs:26prove_wc_list (none)prove_wc_list.rs:24for_alltraits.rs:9for_alltraits.rs:24check_trait_item (fn in trait)traits.rs:44check_fn_in_trait (check fn in trait)traits.rs:68check_fn (check fn)fns.rs:56prove_wc_list (none)prove_wc_list.rs:24for_allfns.rs:31for_allfns.rs:52prove_wc_list (some)prove_wc_list.rs:31prove_wc (parameter well formed)prove_wc.rs:162prove_wf (integers and booleans)prove_wf.rs:59
prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
prove_wc_list (some)prove_wc_list.rs:31prove_wc (parameter well formed)prove_wc.rs:162prove_wf (integers and booleans)prove_wf.rs:59
prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
check_fn_body (trusted fn body)fns.rs:82
for_allmod.rs:72check_crate_item (adt)mod.rs:186check_adt (check adt)adts.rs:27prove_wc_list (none)prove_wc_list.rs:24
for_allmod.rs:72check_crate_item (trait impl)mod.rs:180check_trait_impl (check_trait_impl)impls.rs:39prove_wc_list (none)prove_wc_list.rs:24prove_wc_list (some)prove_wc_list.rs:31prove_wc (positive impl)prove_wc.rs:89prove_wc_list (some)prove_wc_list.rs:31prove_wc (eq)prove_wc.rs:128prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
check_safety_matches (safety matches)impls.rs:79
check_drop_impl_always_applicable (not a Drop impl)impls.rs:295
check_coherence (check_coherence)coherence.rs:24for_allcoherence.rs:8for_allcoherence.rs:17for_allcoherence.rs:8for_allcoherence.rs:18overlap_check (skip_same_impl)coherence.rs:75
for_allcoherence.rs:8for_allcoherence.rs:20orphan_check (orphan_check)coherence.rs:39prove_wc_list (some)prove_wc_list.rs:31prove_wc (trait ref is local)prove_wc.rs:149is_local_trait_ref (local trait)is_local.rs:212
prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
Source location: tests/traits.rs:13
Proof tree
check_all_crates (check all prefixes)mod.rs:54for_allmod.rs:41for_allmod.rs:51check_crate (check crate)mod.rs:75for_allmod.rs:60for_allmod.rs:72check_crate_item (trait)mod.rs:173check_trait (check trait)traits.rs:26prove_wc_list (none)prove_wc_list.rs:24for_alltraits.rs:9for_alltraits.rs:24check_trait_item (fn in trait)traits.rs:44check_fn_in_trait (check fn in trait)traits.rs:68check_fn (check fn)fns.rs:56prove_wc_list (none)prove_wc_list.rs:24prove_wc_list (some)prove_wc_list.rs:31prove_wc (parameter well formed)prove_wc.rs:162prove_wf (tuples)prove_wf.rs:53
prove_after (prove_after)prove_after.rs:20prove_wc_list (none)prove_wc_list.rs:24
check_fn_body (no fn body)fns.rs:76
check_coherence (check_coherence)coherence.rs:24