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_ref at crates/formality-rust/src/check/borrow_check/nll.rs:895

Signature:

prove_ty_is_ref(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.

ref
LineCoverageSource
906✗(prove_ty_is_rigid(env, assumptions, state, ty) => (RigidTy { name: RigidName::Ref(..), .. }, state))
──────── ("ref")
9081(prove_ty_is_ref(_env, _assumptions, state, ty) => state)