Judgment loan_cannot_outlive at crates/formality-rust/src/check/borrow_check/nll.rs:1313
Signature:
loan_cannot_outlive(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>, loan: Loan, lifetime: Lt,) => ()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.
loan_cannot_outlive| Line | Coverage | Source |
|---|---|---|
| 1325 | N/A | (let outlived_by_loan = transitively_outlived_by(env, outlives, &loan.lt)) |
| 1326 | 15 | (if !outlived_by_loan.contains(&lifetime.upcast())) |
| ──────── ("loan_cannot_outlive") | ||
| 1328 | ✗ | (loan_cannot_outlive(env, _assumptions, outlives, loan, lifetime) => ()) |