Judgment prove_assignable at crates/formality-rust/src/check/borrow_check/nll.rs:937
Signature:
prove_assignable(env: TypeckEnv, assumptions: Wcs, state: FlowState, a: Ty, b: Ty,) => FlowStateThe number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
never-to-b| Line | Coverage | Source |
|---|---|---|
| 949 | ✗ | (prove_ty_is_rigid(env, assumptions, state, a) => (RigidTy { name: RigidName::Never, .. }, state)) |
| ──────── ("never-to-b") | ||
| 951 | ✗ | (prove_assignable(env, assumptions, state, a, _b) => state) |