Judgment prove_ty_is_rigid
judgment_fn! {
/// Prove that any loans issued in thes value expressions (evaluated in this order) are respected.
pub fn prove_ty_is_rigid(
env: TypeckEnv,
assumptions: Predicates,
state: FlowState,
ty: Ty,
) => (RigidTy, FlowState) {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/borrow_check/nll.rs:1108
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.
rigid| Line | Coverage | Source |
|---|---|---|
| ──────── ("rigid") | ||
| 1120 | 76 | (prove_ty_is_rigid(_env, _assumptions, state, Ty::RigidTy(rigid_ty)) => (rigid_ty, state)) |
normalize| Line | Coverage | Source |
|---|---|---|
| 1124 | ✗ | (prove_normalize_ty(env, assumptions, state, ty) => (normalized_ty, state)) |
| 1125 | ✗ | (prove_ty_is_rigid(env, assumptions, state, normalized_ty) => (rigid_ty, state)) |
| ──────── ("normalize") | ||
| 1127 | 9 | (prove_ty_is_rigid(env, assumptions, state, ty) => (rigid_ty, state)) |