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:827

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
838N/A(let goal = Predicate::is_implemented(TraitId::new("Copy").with(ty, Vec::<Parameter>::new())))
8392(env.prove_goal(assumptions, &state, goal) => state)
──────── ("trait")
8419(prove_ty_is_copy(env, assumptions, state, ty) => state)