Judgment loan_not_required_by_live_place at crates/formality-rust/src/check/borrow_check/nll.rs:1128
Signature:
loan_not_required_by_live_place(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.
loan is not required by type| Line | Coverage | Source |
|---|---|---|
| 1148 | 15 | (loan_not_required_by_parameter(env, assumptions, outlives, loan, &live_place.ty) => ()) |
| 1149 | ✗ | (loan_not_required_by_live_place_prefix(env, assumptions, outlives, loan, live_place) => ()) |
| ──────── ("loan is not required by type") | ||
| 1151 | 2 | (loan_not_required_by_live_place( env, assumptions, outlives, loan, live_place, ) => ()) |