Module ghost_cell::ghost_borrow
source · Expand description
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§
- A trait for implementing multiple borrows for any number of arguments, using a
GhostToken<'a, 'brand>
.