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