Judgment check_associated_ty
judgment_fn! {
fn check_associated_ty(
program: Program,
env: Env,
trait_where_clauses: Predicates,
associated_ty: AssociatedTy,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/traits.rs:73
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 associated ty| Line | Coverage | Source |
|---|---|---|
| 83 | N/A | (let AssociatedTy { id: _, binder } = associated_ty) |
| 84 | ✗ | (scope(enter_universally(env, binder) => (env, AssociatedTyBoundData { ensures: _, where_clauses })) with() (super::where_clauses::prove_where_clauses_well_formed( program, env, (trait_where_clauses, where_clauses), where_clauses, ) => ())) |
| ──────── ("check associated ty") | ||
| 90 | 195 | (check_associated_ty(program, env, trait_where_clauses, associated_ty) => ()) |