Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Judgment prove_ty_is_copy at crates/formality-rust/src/check/borrow_check/nll.rs:956

Signature:

prove_ty_is_copy(env: TypeckEnv, assumptions: Wcs, state: FlowState, ty: Ty,) => 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.

trait
LineCoverageSource
967N/A(let goal = Predicate::is_implemented(TraitId::new("Copy").with(ty, Vec::<Parameter>::new())))
9683(env.prove_goal(assumptions, &state, goal) => state)
──────── ("trait")
9709(prove_ty_is_copy(env, assumptions, state, ty) => state)