Judgment is_local_trait_ref at crates/formality-rust/src/prove/is_local.rs:197
Signature:
is_local_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.
local trait| Line | Coverage | Source |
|---|---|---|
| 207 | 6 | (if decls.is_local_trait_id(&goal.trait_id)) |
| ──────── ("local trait") | ||
| 209 | 143 | (is_local_trait_ref(decls, env, _assumptions, goal) => Constraints::none(env)) |
local parameter| Line | Coverage | Source |
|---|---|---|
| 214 | ✗ | (i in 0 .. goal.parameters.len()) |
| 215 | 6 | (is_local_parameter(decls, env, assumptions, &goal.parameters[*i]) => c1) |
| 218 | N/A | (let assumptions = c1.substitution().apply(assumptions)) |
| 219 | N/A | (let goal = c1.substitution().apply(goal)) |
| 220 | 1 | (for_all(decls, env, assumptions, &goal.parameters[..*i], &is_not_downstream) => c2) |
| ──────── ("local parameter") | ||
| 222 | 11 | (is_local_trait_ref(decls, env, assumptions, goal) => c1.seq(c2)) |