Struct core::ops::try_trait::NeverShortCircuit

#[repr(transparent)]
pub(crate) struct NeverShortCircuit<T>(pub T);

An adapter for implementing non-try methods via the Try implementation.

Conceptually the same as Result<T, !>, but requiring less work in trait solving and inhabited-ness checking and such, by being an obvious newtype and not having From bounds lying around.

Not currently planned to be exposed publicly, so just pub(crate).

Tuple Fields

0: T

Implementations

impl<T> NeverShortCircuit<T>

pub fn wrap_mut_1<A>( f: impl FnMut(A) -> T ) -> impl FnMut(A) -> NeverShortCircuit<T>

Wraps a unary function to produce one that wraps the output into a NeverShortCircuit.

This is useful for implementing infallible functions in terms of the try_ ones, without accidentally capturing extra generic parameters in a closure.

pub fn wrap_mut_2<A, B>(f: impl FnMut(A, B) -> T) -> impl FnMut(A, B) -> Self

Trait Implementations

impl<T> FromResidual<<NeverShortCircuit<T> as Try>::Residual> for NeverShortCircuit<T>

fn from_residual(never: NeverShortCircuitResidual) -> Self

🔬This is a nightly-only experimental API. (try_trait_v2 #84277)

Constructs the type from a compatible Residual type.

impl<T> Try for NeverShortCircuit<T>

type Output = T

🔬This is a nightly-only experimental API. (try_trait_v2 #84277)

The type of the value produced by ? when not short-circuiting.

type Residual = NeverShortCircuitResidual

🔬This is a nightly-only experimental API. (try_trait_v2 #84277)

The type of the value passed to FromResidual::from_residual as part of ? when short-circuiting.

fn branch(self) -> ControlFlow<NeverShortCircuitResidual, T>

🔬This is a nightly-only experimental API. (try_trait_v2 #84277)

Used in ? to decide whether the operator should produce a value (because this returned ControlFlow::Continue) or propagate a value back to the caller (because this returned ControlFlow::Break).

fn from_output(x: T) -> Self

🔬This is a nightly-only experimental API. (try_trait_v2 #84277)

Constructs the type from its Output type.