Could some consideration be given to splitting out variables that are dummy arguments from the "This variable has not been used" warning.
Failing that, could we have a "!DEC$ PLEASE_PRETEND_THIS_IS_USED(xxxx)" or similar directive that suppresses this warning for the variable named xxxx in the scope of the directive.
Procedures that implement a binding for a derived type often have arguments that are superfluous to that particular type, so the general nature of /warn:unused is a bit chatty. It is still quite handy for non-dummy variables though, so I don't want to disable it entirely. Being able to specify /warn:all /warn:nounused_dummy would be quite useful.