Struct proc_macro_assertions::raw_assert::RawAssert

pub struct RawAssert<'a, T>where
    T: Generatable<'a>,{
    pub template: MaybeBorrowed<'a, T>,
    pub generics: Option<MaybeBorrowed<'a, Generics>>,
    pub assert: MaybeBorrowed<'a, T::Assert>,
}

Some raw assert, consisting of a template, optionally some generics, and the type to assert.

Fields

template: MaybeBorrowed<'a, T>

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

assert: MaybeBorrowed<'a, T::Assert>

Trait Implementations

impl<'a, T> RawAssertable<'a> for RawAssert<'a, T>where T: Generatable<'a> + Eq + Ord, T::Assert: Eq + Ord,

fn do_raw_assert<I>(self, store: &mut Store<'a, I>)where I: IdentGenerator,