The following test case does not presently work, but ought to:

trait Trait<'a> { }

// Supporting `'_` here is #15872:
impl<T> Trait<'_> for T { }

// Supporting `'_` here is this issue:
fn foo<T>(t: T)
where T: Trait<'_>
{ 
}

fn main() { 
  foo(22);
}

This is, I believe, blocked on #15872, because the same work that enables '_ to expand to an early-bound region in that work ought to make supporting '_ in functions fairly straightforward.