Trait Copy

The Copy trait is implemented by any type which can be used an infinite number of times and passed around freely.

For now, this means that the value can be read and must not be set (that means all types except inv T).

Copy is automatically implemented by the compiler, analogous to an auto trait in Rust. It should not be implemented manually.