Judgment loan_not_required_by_live_place_prefix at crates/formality-rust/src/check/borrow_check/nll.rs:1292
Signature:
loan_not_required_by_live_place_prefix(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>, loan: Loan, live_place: TypedPlaceExpr,) => ()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.
no prefix| Line | Coverage | Source |
|---|---|---|
| 1312 | ✗ | (if let None = live_place.prefix()) |
| ──────── ("no prefix") | ||
| 1314 | 14 | (loan_not_required_by_live_place_prefix(_env, _assumptions, _outlives, _loan, live_place) => ()) |
prefix| Line | Coverage | Source |
|---|---|---|
| 1318 | ✗ | (if let Some(prefix) = live_place.prefix()) |
| 1319 | ✗ | (loan_not_required_by_live_place(env, assumptions, outlives, loan, prefix) => ()) |
| ──────── ("prefix") | ||
| 1321 | 6 | (loan_not_required_by_live_place_prefix(env, assumptions, outlives, loan, live_place) => ()) |