w

Author: lcnr

src/trait-bounds.md

@@ -74,6 +74,24 @@ If there are multiple ways to satisfy a trait bound, some groups of candidate ar
 - impls
 - global where-bounds
 
+```rust
+struct Container<T> {
+    inner: Vec<T>,
+}
+impl<T: Clone> for Container<T> {
+    fn clone(&self) -> Self {
+        Container { inner: self.inner.clone() }
+    }
+}
+
+fn is_clone<T: Clone>() {}
+fn generic_fn<T: Clone>() {
+    // `Container<T>: Clone` is satisfied via the impl above. This requires
+    // the nested trait bound `T: Clone` which is satisfied via the where-bound.
+    is_clone::<Container<T>>();
+}
+```
+
 r[bound.trait-object]
 Trait and lifetime bounds are also used to name [trait objects].