Judgment resolve_rigid at crates/formality-rust/src/codegen/mod.rs:393
Signature:
resolve_rigid(cfn: CodegenFn, scope: CodegenScope, ty: Ty,) => RigidTyThe number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
resolve| Line | Coverage | Source |
|---|---|---|
| 402 | ✗ | (prove_ty_is_rigid( &cfn.typeck_env, &cfn.assumptions, &scope.flow_state, ty, ) => (rigid_ty, returned_state)) |
| 408 | N/A | (let () = assert_no_constraints(returned_state)) |
| ──────── ("resolve") | ||
| 410 | ✗ | (resolve_rigid(cfn, scope, ty) => rigid_ty) |