nll.rs:1443

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
1455	N/A	(let outlived_by_loan = transitively_outlived_by(env, outlives, &loan.lt))
1456	25	(if !outlived_by_loan.contains(&lifetime.upcast()))
		──────── ("loan_cannot_outlive")
1458	12	(loan_cannot_outlive(env, _assumptions, outlives, loan, lifetime) => ())

Keyboard shortcuts

A MIR Formality

Judgment loan_cannot_outlive at crates/formality-rust/src/check/borrow_check/nll.rs:1443

Judgment `loan_cannot_outlive` at crates/formality-rust/src/check/borrow_check/nll.rs:1443