pub fn make_assert<T, U>() -> Assert<T, U> where T: Parse, U: Display,
This should be use with type signature.