struct S<T: Copy> { f: T, }