Judgment verify_universal_outlives
judgment_fn! {
/// Verify that all pending outlives constraints between universal lifetime variables
/// can be proven from the function's where-clause assumptions.
pub(crate) fn verify_universal_outlives(
env: TypeckEnv,
assumptions: Predicates,
outlives: Set<PendingOutlives>,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/borrow_check/outlives.rs:8
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.
verify_universal_outlives| Line | Coverage | Source |
|---|---|---|
| 19 | ✗ | (for_all(v in env.env.variables()) (only_assumed_outlives(env, assumptions, outlives, v) => ())) |
| ──────── ("verify_universal_outlives") | ||
| 22 | 44 | (verify_universal_outlives(env, assumptions, outlives) => ()) |