Judgment prove_ty_is_copy
judgment_fn! {
/// Prove that a type implements Copy.
fn prove_ty_is_copy(
env: TypeckEnv,
assumptions: Predicates,
state: FlowState,
ty: Ty,
) => FlowState {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/borrow_check/nll.rs:1021
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.
trait| Line | Coverage | Source |
|---|---|---|
| 1032 | N/A | (let goal = AtomicPredicate::is_implemented(TraitId::new("Copy").with(ty, Vec::<Parameter>::new()))) |
| 1033 | 3 | (env.prove_goal(assumptions, &state, goal) => state) |
| ──────── ("trait") | ||
| 1035 | 20 | (prove_ty_is_copy(env, assumptions, state, ty) => state) |