Judgment prove_ty_is_rigid at crates/formality-rust/src/check/borrow_check/nll.rs:913
Signature:
prove_ty_is_rigid(env: TypeckEnv, assumptions: Wcs, state: FlowState, ty: Ty,) => (RigidTy, FlowState)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") | ||
| 925 | 21 | (prove_ty_is_rigid(_env, _assumptions, state, TyData::RigidTy(rigid_ty)) => (rigid_ty, state)) |
normalize| Line | Coverage | Source |
|---|---|---|
| 929 | ✗ | (prove_normalize_ty(env, assumptions, state, ty) => (normalized_ty, state)) |
| 930 | ✗ | (prove_ty_is_rigid(env, assumptions, state, normalized_ty) => (rigid_ty, state)) |
| ──────── ("normalize") | ||
| 932 | 2 | (prove_ty_is_rigid(env, assumptions, state, ty) => (rigid_ty, state)) |