Correct. If you then want to subsequently re-reference or dereference that refer...

		asa400 73 days ago \| parent \| context \| favorite \| on: Unexpected productivity boost of Rust Correct. If you then want to subsequently re-reference or dereference that reference (this happens sometimes), you'll need to accordingly `&` or `*` it, but if you're just using it as is, the bare syntactical `name` (whatever it happens to be) already refers to a reference.

Also, Rust does implicit dereferencing, so it's not that much of an issue in practice.