1 2 3 4 5 6 7 8
#![feature(min_type_alias_impl_trait)] impl SomeTrait for SomeType { type SomeGAT<'a> where Self: 'a, = impl SomeOtherTrait; }