Based on #5767.

We should really only be providing these default implementations when we know they're valid.

An easy way of doing it is only implementing them by default on T: Const. It's still possible to make user-defined implementations for types containing non-Const @T, you just can't use deriving and implicitly end up with a faulty implementation.