pub type Gr<A, B> = <A as IsGreater<B>>::Output;
Alias for the associated type of IsGreater: Gr<A, B> = <A as IsGreater<B>>::Output
IsGreater
Gr<A, B> = <A as IsGreater<B>>::Output
Note: Encountered an error during type layout; the type failed to be normalized.