Judgment prove_const_has_type at crates/formality-rust/src/prove/prove/prove/prove_const_has_type.rs:11
Signature:
prove_const_has_type(decls: Program, env: Env, assumptions: Wcs, constant: Const,) => (Ty, Constraints)No applicable rule observed: at least one test exercised this judgment with no matching rule.
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 constant| Line | Coverage | Source |
|---|---|---|
| ──────── ("rigid constant") | ||
| 29 | 3 | (prove_const_has_type(_decls, env, _assumptions, ConstData::Scalar(scalar)) => (scalar.ty(), Constraints::none(env))) |
block| Line | Coverage | Source |
|---|---|---|
| 34 | ✗ | (borrow_check(TypeckEnv::for_const(env, decls), assumptions, FlowState::default(), block) => ()) |
| ──────── ("block") | ||
| 36 | ✗ | (prove_const_has_type(decls, env, assumptions, ConstData::Block(block)) => (Ty::unit(), Constraints::none(env))) |