Trait FlattenContOwned 

pub trait FlattenContOwned<M: MapAccessOwned> {
    type Extra;

    // Required method
    async fn finish<Arms: MapArmStackOwned<M::KeyProbe>>(
        self,
        map: M,
        arms: Arms,
    ) -> Result<Probe<(M::MapClaim, Arms::Outputs, Self::Extra)>, M::Error>;
}

Continuation for FlattenMapAccessOwned. Determines what happens after the outer and inner arm stacks are combined via StackConcat.

Required Associated Types

type Extra

Extra result produced by the continuation (e.g., deserialized values from subsequent flatten fields). () for the terminal case.

Required Methods

async fn finish<Arms: MapArmStackOwned<M::KeyProbe>>( self, map: M, arms: Arms, ) -> Result<Probe<(M::MapClaim, Arms::Outputs, Self::Extra)>, M::Error>

Drive the combined arm stack to completion.

arms is StackConcat(outer_arms, inner_arms) - the full set of arms from both the parent struct’s fields and the current flatten field.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<M: MapAccessOwned> FlattenContOwned<M> for FlattenTerminal

type Extra = ()

impl<M: MapAccessOwned> FlattenContOwned<M> for FlattenTerminalBoxed

Available on crate feature alloc only.

type Extra = ()