Judgment verify_universal_outlives at crates/formality-rust/src/check/borrow_check/outlives.rs:8
Signature:
verify_universal_outlives(env: TypeckEnv, assumptions: Wcs, outlives: Set<PendingOutlives>,) => ()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 | ✗ | (verify_universal_outlives(env, assumptions, outlives) => ()) |