Judgment loan_not_required_by_parameters at crates/formality-rust/src/check/borrow_check/nll.rs:1333
Signature:
loan_not_required_by_parameters(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>, loan: Loan, live_parameters: Vec<Parameter>,) => ()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_not_required_by_parameters| Line | Coverage | Source |
|---|---|---|
| 1353 | ✗ | (for_all(param in live_parameters) (loan_not_required_by_parameter(env, assumptions, outlives, loan, param) => ())) |
| ──────── ("loan_not_required_by_parameters") | ||
| 1356 | 2 | (loan_not_required_by_parameters(env, assumptions, outlives, loan, live_parameters) => ()) |