1 #![feature(type_alias_impl_trait)]
2 #![feature(generic_associated_types)]
4 // See https://github.com/rust-lang/rust/issues/87258#issuecomment-883293367
8 struct Struct<'b>(&'b ());
10 impl<'d> Trait1 for Struct<'d> {}
13 type FooFuture<'a>: Trait1;
14 fn foo<'a>() -> Self::FooFuture<'a>;
17 type Helper<'xenon, 'yttrium, KABOOM: Trait2> = impl Trait1;
19 impl<'c, S: Trait2> Trait2 for &'c mut S {
20 type FooFuture<'a> = Helper<'c, 'a, S>;
21 fn foo<'a>() -> Self::FooFuture<'a> { //~ ERROR
22 Struct(unimplemented!())