fn foo<T>() where T: Copy {}