struct X<'a, T>(&'a T);
impl X<'_, _> {}
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for implementations
fn main() {}