Judgment check_associated_ty at crates/formality-rust/src/check/traits.rs:74
Signature:
check_associated_ty(program: Program, env: Env, trait_where_clauses: Wcs, associated_ty: AssociatedTy,) => ()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 |
|---|---|---|
| 84 | N/A | (let AssociatedTy { id: _, binder } = associated_ty) |
| 85 | N/A | (let (env, bound_data) = env.instantiate_universally(binder)) |
| 86 | N/A | (let AssociatedTyBoundData { ensures: _, where_clauses } = bound_data) |
| 89 | ✗ | (super::where_clauses::prove_where_clauses_well_formed( program, env, (trait_where_clauses, where_clauses), where_clauses, ) => ()) |
| ──────── ("check associated ty") | ||
| 94 | 99 | (check_associated_ty(program, env, trait_where_clauses, associated_ty) => ()) |