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 |
|---|
| 1216 | 15 | (loan_not_required_by_parameters(env, assumptions, outlives, loan, parameters) => ()) |
| | ──────── ("rigid-ty") |
| 1218 | 2 | (loan_not_required_by_parameter(env, assumptions, outlives, loan, RigidTy { name: _, parameters }) => ()) |
alias-ty RFC 1214
| Line | Coverage | Source |
|---|
| 1232 | 13 | (loan_not_required_by_parameters(env, assumptions, outlives, loan, parameters) => ()) |
| | ──────── ("alias-ty RFC 1214") |
| 1234 | ✗ | (loan_not_required_by_parameter(env, assumptions, outlives, loan, AliasTy { name: _, parameters }) => ()) |
for-all-type
| Line | Coverage | Source |
|---|
| 1246 | N/A | (let (env1, _, parameter) = env.instantiate_universally(&binder)) |
| 1247 | ✗ | (loan_not_required_by_parameter(env1, assumptions, outlives, loan, parameter) => ()) |
| | ──────── ("for-all-type") |
| 1249 | ✗ | (loan_not_required_by_parameter(env, assumptions, outlives, loan, PredicateTy::ForAll(binder)) => ()) |
universal-variable
| Line | Coverage | Source |
|---|
| 1290 | ✗ | (loan_cannot_outlive_universal_regions(env, assumptions, outlives, &loan) => ()) |
| | ──────── ("universal-variable") |
| 1292 | ✗ | (loan_not_required_by_parameter(env, assumptions, outlives, loan, Variable::UniversalVar(_v)) => ()) |
lifetime
| Line | Coverage | Source |
|---|
| 1306 | 15 | (loan_cannot_outlive(env, assumptions, outlives, loan, live_lt) => ()) |
| | ──────── ("lifetime") |
| 1308 | ✗ | (loan_not_required_by_parameter(env, assumptions, outlives, loan, live_lt: Lt) => ()) |