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