Judgment check_trait at crates/formality-rust/src/check/traits.rs:9
Signature:
check_trait(program: Program, env: Env, t: Trait, crate_id: CrateId,) => ()The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
check trait| Line | Coverage | Source |
|---|---|---|
| 19 | N/A | (let Trait { safety: _, id: _, binder } = t) |
| 20 | N/A | (let (env, bound_data) = env.instantiate_universally(&binder.explicit_binder)) |
| 21 | N/A | (let TraitBoundData { where_clauses, trait_items } = bound_data) |
| 22 | 2 | (check_trait_items_have_unique_names(&trait_items) => ()) |
| 23 | 2 | (super::where_clauses::prove_where_clauses_well_formed(program, env, where_clauses, where_clauses) => ()) |
| 24 | ✗ | (for_all(trait_item in trait_items) (check_trait_item(program, env, where_clauses, trait_item, crate_id) => ())) |
| ──────── ("check trait") | ||
| 27 | 114 | (check_trait(program, env, t, crate_id) => ()) |