Type parameters
Within the body of an item that has type parameter declarations, the names of its type parameters are types:
Here, first
has type A
, referring to to_vec
's A
type parameter; and
rest
has type Vec<A>
, a vector with element type A
.