pub fn polonius<Ret: HKT, State: ?Sized, Err, F>(
    state: &mut State,
    branch: F
) -> Result<<Ret as WithLifetime<'_>>::T, (&mut State, Err)> where
    F: FnOnce(&mut State) -> Result<<Ret as WithLifetime<'_>>::T, Err>, 
Expand description

See the top-level docs for more info.