`token` should be marked `copy`, so no explicit copy needed.