Trait with associated type with covariant lifetime parameter
trait SomeTrait { type AssociatedType<'a>; } fn shorten<'short, 'long: 'short, T: SomeTrait>(value: T::AssociatedType<'long>) -> T::AssociatedType<'short> { value } This doesn't compile, because the lifetime parameter…