second incidence
second time
The second incidence at the end of the declaration promises the compiler that the sender would not be changed by the function run.
The second time at the end of the declaration promises the compiler that the sender would not be changed by the function run.