Judgment prove_assignable
judgment_fn! {
/// Prove that `a` is assignable to `b`.
fn prove_assignable(
env: TypeckEnv,
assumptions: Predicates,
state: FlowState,
a: Ty,
b: Ty,
) => FlowState {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/borrow_check/nll.rs:1132
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.
never-to-b| Line | Coverage | Source |
|---|---|---|
| 1144 | ✗ | (prove_ty_is_rigid(env, assumptions, state, a) => (RigidTy { name: RigidName::Never, .. }, state)) |
| ──────── ("never-to-b") | ||
| 1146 | ✗ | (prove_assignable(env, assumptions, state, a, _b) => state) |
subtype| Line | Coverage | Source |
|---|---|---|
| 1150 | 13 | (prove_sub_type(env, assumptions, state, a, b) => state) |
| ──────── ("subtype") | ||
| 1152 | 129 | (prove_assignable(env, assumptions, state, a, b) => state) |