Built-in trait Copy is now non-implicit