#[derive()] struct Foo<'a, 'b, 'c> where 'a: 'a, 'static: 'static { field: &'a (), field2: &'static (), } impl<'a> Foo<'_, 'a, 'static> where 'a: 'a, 'static: 'static {}