Trait SExpect

pub trait SExpect: Sized {
    type Output;

    // Required method
    fn s_expect<'tcx, S: BaseState<'tcx>>(
        self,
        s: &S,
        message: &str,
    ) -> Self::Output;

    // Provided method
    fn s_unwrap<'tcx, S: BaseState<'tcx>>(self, s: &S) -> Self::Output { ... }
}

Required Associated Types

type Output

Required Methods

fn s_expect<'tcx, S: BaseState<'tcx>>( self, s: &S, message: &str, ) -> Self::Output

Provided Methods

fn s_unwrap<'tcx, S: BaseState<'tcx>>(self, s: &S) -> Self::Output

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.

Implementations on Foreign Types

impl<T: Debug> SExpect for Option<T>

type Output = T

fn s_expect<'tcx, S: BaseState<'tcx>>( self, s: &S, message: &str, ) -> Self::Output

impl<T: Debug, E: Debug> SExpect for Result<T, E>

type Output = T

fn s_expect<'tcx, S: BaseState<'tcx>>( self, s: &S, message: &str, ) -> Self::Output

Implementors