Judgment prove_ty_is_rigid at crates/formality-rust/src/check/borrow_check/nll.rs:1043
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") | ||
| 1055 | 49 | (prove_ty_is_rigid(_env, _assumptions, state, TyData::RigidTy(rigid_ty)) => (rigid_ty, state)) |
normalize| Line | Coverage | Source |
|---|---|---|
| 1059 | ✗ | (prove_normalize_ty(env, assumptions, state, ty) => (normalized_ty, state)) |
| 1060 | ✗ | (prove_ty_is_rigid(env, assumptions, state, normalized_ty) => (rigid_ty, state)) |
| ──────── ("normalize") | ||
| 1062 | 15 | (prove_ty_is_rigid(env, assumptions, state, ty) => (rigid_ty, state)) |