Trait proc_macro_assertions::bounds::AssertableWithBounds

pub trait AssertableWithBounds<'a, T> {
    type Output: RawAssertable<'a>;

    // Required method
    fn do_assert(&self, bounds: T) -> Self::Output;
}

This Trait represents something that is assertable with some additional data. See Assertable for general details.

Required Associated Types

type Output: RawAssertable<'a>

The output of the assertion

Required Methods

fn do_assert(&self, bounds: T) -> Self::Output

Do the assertion with the given bounds

Implementations on Foreign Types

impl<'a, T, U> AssertableWithBounds<'a, T> for &'a Uwhere U: AssertableWithBounds<'a, T>,

type Output = <U as AssertableWithBounds<'a, T>>::Output

fn do_assert(&self, bounds: T) -> Self::Output

Implementors