Signature:
loan_not_required_by_parameter(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>, loan: Loan, live_parameter: 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.
rigid-ty
| Line | Coverage | Source |
|---|
| 1346 | 25 | (loan_not_required_by_parameters(env, assumptions, outlives, loan, parameters) => ()) |
| | ──────── ("rigid-ty") |
| 1348 | 14 | (loan_not_required_by_parameter(env, assumptions, outlives, loan, RigidTy { name: _, parameters }) => ()) |
alias-ty RFC 1214
| Line | Coverage | Source |
|---|
| 1362 | 13 | (loan_not_required_by_parameters(env, assumptions, outlives, loan, parameters) => ()) |
| | ──────── ("alias-ty RFC 1214") |
| 1364 | 6 | (loan_not_required_by_parameter(env, assumptions, outlives, loan, AliasTy { name: _, parameters }) => ()) |
for-all-type
| Line | Coverage | Source |
|---|
| 1376 | N/A | (let (env1, _, parameter) = env.instantiate_universally(&binder)) |
| 1377 | ✗ | (loan_not_required_by_parameter(env1, assumptions, outlives, loan, parameter) => ()) |
| | ──────── ("for-all-type") |
| 1379 | ✗ | (loan_not_required_by_parameter(env, assumptions, outlives, loan, PredicateTy::ForAll(binder)) => ()) |
universal-variable
| Line | Coverage | Source |
|---|
| 1420 | 5 | (loan_cannot_outlive_universal_regions(env, assumptions, outlives, &loan) => ()) |
| | ──────── ("universal-variable") |
| 1422 | ✗ | (loan_not_required_by_parameter(env, assumptions, outlives, loan, Variable::UniversalVar(_v)) => ()) |
lifetime
| Line | Coverage | Source |
|---|
| 1436 | 25 | (loan_cannot_outlive(env, assumptions, outlives, loan, live_lt) => ()) |
| | ──────── ("lifetime") |
| 1438 | 12 | (loan_not_required_by_parameter(env, assumptions, outlives, loan, live_lt: Lt) => ()) |