(rgbcu.be)

128 points RGBCube | 1 comments | 04 Jul 25 20:31 UTC | HN request time: 0s | source

Show context

> we cannot just require all generic parameters to be Clone, as we cannot assume they are used in such a way that requires them to be cloned.

I don't understand what "used in such a way requires them to be cloned" means. Why would you require that?

1. rocqua ◴[08 Jul 25 07:04 UTC] No.44497760[source]▶

A type might have a generic parameter T, but e.g. use it as a phantom marker.

Then even if T isn't cloneable, the type might still admit a perfectly fine implementation of clone.

# [derive(Clone)] Is Broken