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> Assertable<'a> for WithGenerics<'a, Assert<'a, G>>where G: Generatable<'a> + Eq + Ord, G::Assert: Eq + Ord,

type Output = RawAssert<'a, G>

The other assertable type the assert should be turned into.

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

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

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

The type of the Assert generated by the Template Self

fn test<U>(self, ty: U) -> Self::Outputwhere U: Into<MaybeBorrowed<'a, T::Assert>>,

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> InsertIntoTemplate<'a, T> for WithGenerics<'a, T>where T: Generatable<'a> + Eq + Ord, T::Assert: Eq + Ord,

type Output = RawAssert<'a, T>

The type of the Assert generated by the Template Self

fn test<U>(self, ty: U) -> RawAssert<'a, T>where U: Into<MaybeBorrowed<'a, T::Assert>>,

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>