//@ check-pass
fn lifetime<'a>()
where
&'a (): 'a,
{
/* do nothing */
}
fn doesnt_work()
for<'a> &'a (): 'a,
fn main() {
lifetime();
doesnt_work();