fn Foo<T>()
where
    T: Bar,
{
}