Is a function parameter “used” if cast to void?

[misra-c]

Does the following violate rule 2.7 (There should be no unused parameters in functions)?

Code:

void fn ( int32_t param )
{
   ( void )param;
}

[misra-c]

param is an operand of the cast operator and so is "used" according to the definition of “used” in Appendix J.

Therefore this code does not violate rule 2.7. This is consistent with the exception to rule 2.2 on dead code, which states “ A cast to void is assumed to indicate a value that is intentionally not being used.”