2 // Test that even with prior inferred parameters, object lifetimes of objects after are still
5 // pretty-expanded FIXME #23616
8 #![feature(generic_arg_infer)]
17 struct SomeStruct<'a> {
22 fn a<'a, const N: usize>(_: [u8; N], t: &'a (dyn Test+'a), mut ss: SomeStruct<'a>) {
26 fn b<'a, T>(_: T, t: &'a (dyn Test+'a), mut ss: SomeStruct<'a>) {
31 // Inside a function body, we can just infer both
32 // lifetimes, to allow &'tmp (Display+'static).
33 a::<_>([], &Foo as &dyn Test, SomeStruct{t:&Foo,u:&Foo});
34 b::<_>(0u8, &Foo as &dyn Test, SomeStruct{t:&Foo,u:&Foo});