Skip to main content

StaticallyInfallible

Trait StaticallyInfallible 

Source
pub trait StaticallyInfallible: StaticallyInfallible { }
Expand description

Statically proven uninhabited transition error accepted by Stash.

The trait is sealed: replay safety depends on the error being genuinely impossible, so downstream code cannot assert the capability for an inhabited type.

Implementations on Foreign Types§

Source§

impl StaticallyInfallible for Never

Implementors§