fn foo<T>() where T {}