pub type Coerced<T: Coercible, U> = T::Coerced;
The type that T will become if its contained type is coerced to U.
T
U