Judgment may_be_downstream_parameter at crates/formality-rust/src/prove/prove/prove/is_local.rs:98
Signature:
may_be_downstream_parameter(_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.
type variable| Line | Coverage | Source |
|---|---|---|
| ──────── ("type variable") | ||
| 111 | ✗ | (may_be_downstream_parameter(_decls, env, _assumptions, TyData::Variable(Variable::ExistentialVar(_))) => Constraints::none(env)) |
via normalize| Line | Coverage | Source |
|---|---|---|
| 123 | ✗ | (p in parameters.iter()) |
| 124 | ✗ | (may_contain_downstream_type(decls, env, assumptions, p) => ()) |
| 127 | ✗ | (may_not_be_provable(env, assumptions, &AliasTy::new(name, parameters), |env, assumptions, alias| normalizes_to_not_downstream(decls, &env, &assumptions, &alias) ) => c) |
| ──────── ("via normalize") | ||
| 131 | ✗ | (may_be_downstream_parameter(decls, env, assumptions, AliasTy { name, parameters }) => c) |