Function make_assert

pub fn make_assert<T, U>() -> Assert<T, U>
where
    T: Parse,
    U: Display,

This should be use with type signature.