Signature:
is_not_downstream(_decls: Program, env: Env, assumptions: Wcs, parameter: Parameter,) => Constraints
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.
lifetime
| Line | Coverage | Source |
|---|
| | ──────── ("lifetime") |
| 251 | ✗ | (is_not_downstream(_decls, env, _assumptions, _l: Lt) => Constraints::none(env)) |
rigid
| Line | Coverage | Source |
|---|
| | ──────── ("rigid") |
| 258 | 2 | (is_not_downstream(_decls, env, _assumptions, RigidTy { .. }) => Constraints::none(env)) |
via normalize
| Line | Coverage | Source |
|---|
| 262 | 1 | (prove_normalize(decls, env, assumptions, parameter) => Constrained(p, c1)) |
| 263 | N/A | (let assumptions = c1.substitution().apply(assumptions)) |
| 264 | ✗ | (is_not_downstream(decls, c1.env(), assumptions, p) => c2) |
| | ──────── ("via normalize") |
| 266 | 1 | (is_not_downstream(decls, env, assumptions, parameter) => c1.seq(c2)) |
type variable
| Line | Coverage | Source |
|---|
| | ──────── ("type variable") |
| 273 | ✗ | (is_not_downstream(_decls, env, _assumptions, TyData::Variable(Variable::ExistentialVar(_)))
=> Constraints::none(env).ambiguous()) |