Judgment may_be_downstream_trait_ref
judgment_fn! {
/// True if an impl defining this trait-reference could appear in a downstream crate.
fn may_be_downstream_trait_ref(
_decls: Program,
env: Env,
assumptions: Predicates,
goal: TraitRef,
) => Constraints {
/* rules omitted */
}
}Source: crates/formality-rust/src/prove/is_local.rs:74
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.
may_be_downstream_trait_ref| Line | Coverage | Source |
|---|---|---|
| 86 | ✗ | (p in &goal.parameters) |
| 87 | ✗ | (may_be_downstream_parameter(decls, env, assumptions, p) => c) |
| ──────── ("may_be_downstream_trait_ref") | ||
| 89 | ✗ | (may_be_downstream_trait_ref(decls, env, assumptions, goal) => c) |