Judgment loan_cannot_outlive
judgment_fn! {
/// Prove that the loan does not outlive any universal regions.
fn loan_cannot_outlive(
env: TypeckEnv,
assumptions: Predicates,
outlives: Set<PendingOutlives>,
loan: Loan,
lifetime: Lt,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/borrow_check/nll.rs:1513
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 |
|---|---|---|
| 1525 | N/A | (let outlived_by_loan = transitively_outlived_by(env, outlives, &loan.lt)) |
| 1526 | 29 | (if !outlived_by_loan.contains(&lifetime.upcast())) |
| ──────── ("loan_cannot_outlive") | ||
| 1528 | 9 | (loan_cannot_outlive(env, _assumptions, outlives, loan, lifetime) => ()) |