pub type ImplFrom<B, T> = <B as ImplFrom_<T>>::Impl;
Converts B to either Unimplemented<T> or Implemented<T>.
B
Unimplemented<T>
Implemented<T>
The T type parameter represents the (un)required trait.
T