You may not alias incompatible types. In the example every type passed in the function is the same. Float. Those types are compatible( every type is to itself )

You may not alias incompatible types. In the example every type passed in the function is the same. Float. Those types are compatible( every type is to itself ) and may alias. Therefore the need to use restrict.