Judgment can_outlive at crates/formality-rust/src/check/borrow_check/outlives.rs:56
Signature:
can_outlive(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>, param_a: Parameter, param_b: Parameter,) => ()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.
existential target| Line | Coverage | Source |
|---|---|---|
| 73 | ✗ | (if var_b.is_existential()) |
| ──────── ("existential target") | ||
| 75 | ✗ | (can_outlive(_env, _assumptions, _outlives, _param_a, var_b: Variable) => ()) |
universal target| Line | Coverage | Source |
|---|---|---|
| 80 | ✗ | (if var_b.is_universal()) |
| 81 | 4 | (prove(&env.program, &env.env, assumptions, Relation::outlives(param_a, var_b)) => c) |
| 82 | ✗ | (if c.unconditionally_true()) |
| ──────── ("universal target") | ||
| 84 | ✗ | (can_outlive(env, assumptions, _outlives, param_a, var_b: Variable) => ()) |