Having `restrict` in the function declaration allow other tools to know about the aliasing constraint without the need to read and understand the function code.

Having `restrict` in the function declaration allow other tools to know about the aliasing constraint without the need to read and understand the function code. Think of documentation tools, static checkers, code completion functionalities in IDEs...