Struct take_mut::scoped::Hole
[−]
[src]
#[must_use]pub struct Hole<'c, 'm, T: 'm, F: FnOnce() -> T> { /* fields omitted */ }
A Hole<'c, 'm, T, F>
represents an unfilled &'m mut T
which must be filled before the end of the Scope
with lifetime 'c
and recovery closure F
.
An unfilled Hole<'c, 'm, T, F> that is destructed will try to use
F` to fill the hole.
If the scope ends without the Hole
being filled, the program will std::process::abort()
.