From 5681c711e1997cf44a7737b33b3e81af4898579e Mon Sep 17 00:00:00 2001 From: Lindsey Kuper Date: Thu, 2 Jan 2014 12:52:00 -0500 Subject: [PATCH] Wording tweak suggested by @pcwalton. --- doc/tutorial.md | 7 ++++--- 1 file 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(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,