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