The parameter type is all you need to know how it is passed – &T3 is passed by reference.

The names you bind are an implementation detail, and in fact are patterns. So &c is a destructuring pattern to extract the value behind the reference. It must be a Copy type, because you’re not allowed to move out of references.