Judgment check_trait
judgment_fn! {
pub(super) fn check_trait(
program: Program,
env: Env,
t: Trait,
crate_id: CrateId,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/traits.rs:9
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 | ✗ | (scope(enter_universally(env, &binder.explicit_binder) => (env, TraitBoundData { where_clauses, trait_items })) with() (check_trait_items_have_unique_names(trait_items) => ()) (super::where_clauses::prove_where_clauses_well_formed(program, env, where_clauses, where_clauses) => ()) (for_all(trait_item in trait_items) (check_trait_item(program, env, where_clauses, trait_item, crate_id) => ()))) |
| ──────── ("check trait") | ||
| 26 | 214 | (check_trait(program, env, t, crate_id) => ()) |