Judgment may_be_downstream_trait_ref at crates/formality-rust/src/prove/prove/prove/is_local.rs:78
Signature:
may_be_downstream_trait_ref(_decls: Program, env: Env, assumptions: Wcs, goal: TraitRef,) => ConstraintsThe number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
may_be_downstream_trait_ref| Line | Coverage | Source |
|---|---|---|
| 90 | ✗ | (p in &goal.parameters) |
| 91 | ✗ | (may_be_downstream_parameter(decls, env, assumptions, p) => c) |
| ──────── ("may_be_downstream_trait_ref") | ||
| 93 | ✗ | (may_be_downstream_trait_ref(decls, env, assumptions, goal) => c) |