Trait InsertIntoTemplate 

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

    // Required method
    fn test<B>(self, ty: impl Into<MaybeBorrowed<'a, A>>) -> Self::Output
       where B: TypeEq<This = A>;
}

Required Associated Types

type Output: RawAssertable<'a>

The type of the Assert generated by the Template Self

Required Methods

fn test<B>(self, ty: impl Into<MaybeBorrowed<'a, A>>) -> Self::Output

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>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'a, T, A> InsertIntoTemplate<'a, T, A> for &'a T

where T: Generatable<'a, A> + 'a + Ord + Eq, A: Ord + Eq + 'a + TidAble<'a>,

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

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

where B: TypeEq<This = A>,

Implementors

impl<'a, T, A> InsertIntoTemplate<'a, T, A> for T

where T: Generatable<'a, A> + 'a + Ord + Eq, A: Ord + Eq + 'a + TidAble<'a>,

type Output = Assert<'a, T, 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>>

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>