Trait hax_frontend_exporter::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

Object Safety

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