Module ghost_cell::ghost_borrow

The GhostBorrow trait allows simultaneously borrowing multiple GhostCell immutably.

Technically, this is already allowed, however it can be useful to do so as a single expression, which this trait provides.

Traits

• GhostBorrow
  A trait for implementing multiple borrows for any number of arguments, using a GhostToken<'a, 'brand>.