1 #![feature(type_alias_impl_trait)]
7 type TAIT = impl Trait;
10 impl Trait for Concrete {}
22 impl<T> OuterTrait for Dummy<T> {
26 fn tait_and_impl_trait() -> impl OuterTrait<Item = (TAIT, impl Trait)> {
28 t: (tait(), Concrete),
32 fn tait_and_dyn_trait() -> impl OuterTrait<Item = (TAIT, Box<dyn Trait>)> {
33 let b: Box<dyn Trait> = Box::new(Concrete);
34 Dummy { t: (tait(), b) }