diff options
Diffstat (limited to 'doc/tutorial.md')
| -rw-r--r-- | doc/tutorial.md | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/tutorial.md b/doc/tutorial.md index 03370bd6bd0..928815b8298 100644 --- a/doc/tutorial.md +++ b/doc/tutorial.md @@ -2080,9 +2080,10 @@ fn head<T: Clone>(v: &[T]) -> T { } ~~~~ -The bounded type parameter `T: Clone` says that `head` is polymorphic -over any type `T`, so long as there is an implementation of the -`Clone` trait for that type. +The bounded type parameter `T: Clone` says that `head` +can be called on an argument of type `&[T]` for any `T`, +so long as there is an implementation of the +`Clone` trait for `T`. When instantiating a generic function, we can only instantiate it with types that implement the correct trait, |