Judgment may_be_remote at crates/formality-rust/src/prove/prove/prove/is_local.rs:46
Signature:
may_be_remote(_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 defined downstream| Line | Coverage | Source |
|---|---|---|
| 63 | ✗ | (may_be_downstream_trait_ref(decls, env, assumptions, goal) => c) |
| ──────── ("may be defined downstream") | ||
| 65 | ✗ | (may_be_remote(decls, env, assumptions, goal) => c) |
may be added by upstream in a minor release| Line | Coverage | Source |
|---|---|---|
| 71 | ✗ | (may_not_be_provable(env, assumptions, goal, |env, assumptions, goal| is_local_trait_ref(decls, &env, assumptions, goal)) => c) |
| ──────── ("may be added by upstream in a minor release") | ||
| 73 | ✗ | (may_be_remote(decls, env, assumptions, goal) => c) |