Judgment normalizes_to_not_downstream at crates/formality-rust/src/prove/prove/prove/is_local.rs:182
Signature:
normalizes_to_not_downstream(_decls: Program, env: Env, assumptions: Wcs, parameter: Parameter,) => 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.
ambiguous| Line | Coverage | Source |
|---|---|---|
| 192 | ✗ | (prove_normalize(decls, env, assumptions, parameter) => Constrained(parameter, c1)) |
| 193 | N/A | (let assumptions = c1.substitution().apply(assumptions)) |
| 194 | ✗ | (is_not_downstream(decls, env, assumptions, parameter) => c2) |
| ──────── ("ambiguous") | ||
| 196 | ✗ | (normalizes_to_not_downstream(decls, env, assumptions, parameter) => c1.seq(c2)) |