> It suggest that some sort of borrowing takes place
It does. A value is passed by reference, borrowing it from the owner.
> and that it's just an optional check
I don't see how the word "check" implies that it's optional.