pub trait Imply<T>: ImplyInner<T, Is = T> { }
Creates an implied bound when applied as a supertrait.
trait MyTrait<T>: Imply<T, Is: Bound> {} // Implies T: Bound