pub type Sub1<A> = <A as Sub<B1>>::Output;
Alias to make it easy to subtract 1: Sub1<A> = <A as Sub<B1>>::Output
Sub1<A> = <A as Sub<B1>>::Output
Note: Encountered an error during type layout; the type failed to be normalized.