Struct proc_macro_assertions::add_generics::WithGenerics

pub struct WithGenerics<'a, T> {
    pub data: T,
    pub generics: Option<MaybeBorrowed<'a, Generics>>,
}

A type representing some T with some generics attached to it. Usually created by AttachGenerics::with_generics.

Fields

data: T

The data the generics are attached to

generics: Option<MaybeBorrowed<'a, Generics>>

The generics that are attached to the data.

Trait Implementations

impl<'a, G, A> Assertable<'a> for WithGenerics<'a, Assert<'a, G, A>>where G: Generatable<'a, A> + Eq + Ord, A: Eq + Ord + TidAble<'a>,

type Output = RawAssert<'a, G, A>

The other assertable type the assert should be turned into.

fn do_assert(self) -> RawAssert<'a, G, A>

impl<'a, T, A> InsertIntoTemplate<'a, T, A> for WithGenerics<'a, MaybeBorrowed<'a, T>>where T: Generatable<'a, A> + Eq + Ord, A: Eq + Ord + 'a + TidAble<'a>,

type Output = WithGenerics<'a, Assert<'a, T, A>>

The type of the Assert generated by the Template Self

fn test<B>( self, ty: impl Into<MaybeBorrowed<'a, A>> ) -> WithGenerics<'a, Assert<'a, T, A>>where B: TypeEq<This = A>,

Test some type against the template Self and turn it into Self::Output. So that the type may either be borrowed or owned, any type that can be turned into MaybeBorrowed<T::Assert>

impl<'a, T, A> InsertIntoTemplate<'a, T, A> for WithGenerics<'a, T>where T: Generatable<'a, A> + Eq + Ord, A: Eq + Ord + 'a + TidAble<'a>,

type Output = RawAssert<'a, T, A>

The type of the Assert generated by the Template Self

fn test<B>(self, ty: impl Into<MaybeBorrowed<'a, A>>) -> RawAssert<'a, T, A>where B: TypeEq<This = A>,

Test some type against the template Self and turn it into Self::Output. So that the type may either be borrowed or owned, any type that can be turned into MaybeBorrowed<T::Assert>