Thx a lot Rk, that would explain it.
I'm still confused though because Copy doc doesn't say so..
So this
impl <T : ?Sized> Copy for &T{}
must sit elsewhere? Is there generally a good way to check if a type implements a Trait? And why?
I'm missing my type hierarchy feature in Eclipse which allows me to explore JDK..
Rustdoc is unfortunately buggy and doesn't always list all trait implementations. It lists those which are written out in code somewhere, but it misses those which are defined by the compiler. Note that that page also misses i32 and other types which are Copy.
You can test it experimentally by writing code like this and seeing if it throws an error: