Struct ConcreteStated 

pub struct ConcreteStated<T, S>
where
    S: StateMarker<Kind = ConcreteStateKind>,
{ /* private fields */ }

Raw runtime data paired with a concrete state marker.

ConcreteStated<T, S> is the narrow escape hatch for implementation-owned construction. It does not dereference to T and it does not support transitions; it can only be created unsafely or by helpers generated in the implementation module, then consumed by State::from_concrete to create a directly owned state.

Creating this value asserts that the raw T really satisfies the invariant represented by concrete state S. For public construction, prefer State::new, which is gated by Initial. For implementation-owned conversions, use the private with_state_priv helper generated by StateMachineImpl!.

Implementations

impl<T, S> ConcreteStated<T, S>

where S: StateMarker<Kind = ConcreteStateKind>,

pub unsafe fn new(value: T) -> Self

Attaches raw runtime data to a concrete state marker.

Safety

The caller must prove by construction that value is valid for state S. This function can forge typestate authority if used incorrectly.

pub fn into_raw(self) -> T

Removes the concrete state marker and returns the raw runtime value.