fn foo()
    where for<'a>
{}