Judgment only_assumed_outlives at crates/formality-rust/src/check/borrow_check/outlives.rs:27
Signature:
only_assumed_outlives(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>, v: Variable,) => ()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| Line | Coverage | Source |
|---|---|---|
| 40 | ✗ | (if v.is_existential()) |
| ──────── ("existential") | ||
| 42 | ✗ | (only_assumed_outlives(_env, _assumptions, _outlives, v) => ()) |
universal lifetime| Line | Coverage | Source |
|---|---|---|
| 47 | ✗ | (if v.is_universal()) |
| 48 | ✗ | (for_all(param in transitively_outlived_by(env, outlives, v)) (can_outlive(env, assumptions, outlives, v, param) => ())) |
| ──────── ("universal lifetime") | ||
| 51 | ✗ | (only_assumed_outlives(env, assumptions, outlives, v) => ()) |