Deriving a trait results in unexpected compiler error, but the manual implementation works
The answer is buried in the error message:
= note: the method `clone` exists but the following trait bounds were not satisfied: `T: std::clone::Clone` which is required by `Foo<'_, T>: std::clone::Clone`
When you derive Clone
(and many other automatically-derived types), it adds a Clone
bound on all generic types. Using rustc -Z unstable-options --pretty=expanded
, we can see what it becomes:
impl <'a, T: ::std::clone::Clone + 'a> ::std::clone::Clone for Foo<'a, T> {
#[inline]
fn clone(&self) -> Foo<'a, T> {
match *self {
Foo { t: ref __self_0_0 } =>
Foo{t: ::std::clone::Clone::clone(&(*__self_0_0)),},
}
}
}
In this case, the bound is not needed because the generic type is behind a reference.
For now, you will need to implement Clone
yourself. There's a Rust issue for this, but it's a comparatively rare case with a workaround.
Your example will derive Clone
without any problems if you explicitly mark that T
should implement Clone
, like this:
#[derive(Clone)]
struct Foo<'a, T: 'a> {
t: &'a T,
}
fn bar<'a, T: Clone>(foo: Foo<'a, T>) {
foo.clone();
}
(Playground link)
It seems unusual that you can avoid specifying the bound explicitly, but Shepmaster's answer seems to suggest that the compiler inserts it implicitly, so my suggestion is functionally identical.