Trait proc_macro_assertions::assert::InsertIntoTemplate

pub trait InsertIntoTemplate<'a, T>where
    T: Generatable<'a> + 'a,{
    type Output: RawAssertable<'a>;

    // Required method
    fn test<U>(self, ty: U) -> Self::Output
       where U: Into<MaybeBorrowed<'a, T::Assert>>;
}

Required Associated Types

type Output: RawAssertable<'a>

The type of the Assert generated by the Template Self

Required Methods

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>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'a, T> InsertIntoTemplate<'a, T> for &'a Twhere T: Generatable<'a> + 'a + Ord + Eq, T::Assert: Ord + Eq,

type Output = Assert<'a, T>

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

Implementors

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>>

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>

impl<'a, T> InsertIntoTemplate<'a, T> for Twhere T: Generatable<'a> + 'a + Ord + Eq, T::Assert: Ord + Eq,

type Output = Assert<'a, T>