Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Judgment can_outlive at crates/formality-rust/src/check/borrow_check/outlives.rs:56

Signature:

can_outlive(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>, param_a: Parameter, param_b: 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.

existential target
LineCoverageSource
73✗(if var_b.is_existential())
──────── ("existential target")
7529(can_outlive(_env, _assumptions, _outlives, _param_a, var_b: Variable) => ())
universal target
LineCoverageSource
80✗(if var_b.is_universal())
8110(prove(&env.program, &env.env, assumptions, Relation::outlives(param_a, var_b)) => c)
82✗(if c.unconditionally_true())
──────── ("universal target")
842(can_outlive(env, assumptions, _outlives, param_a, var_b: Variable) => ())