Trait Residual
pub trait Residual<O>: SizedAllows retrieving the canonical type implementing Try that has this type
as its residual and allows it to hold an O as its output.
If you think of the Try trait as splitting a type into its Try::Output
and Try::Residual components, this allows putting them back together.
For example,
Result<T, E>: Try<Output = T, Residual = Result<Infallible, E>>,
and in the other direction,
<Result<Infallible, E> as Residual<T>>::TryType = Result<T, E>.
Associated Types
type TryType: ~const Try<Output = O, Residual = Self>;The "return" type of this meta-function.
Implementors
impl<B, C> Residual<C> for ControlFlow<B, Infallible>impl<T> Residual<T> for NeverShortCircuitResidualimpl<T> Residual<T> for Option<Infallible>impl<T, E> Residual<T> for Result<Infallible, E>