The code snippet
module m interface module subroutine specific end subroutine end interface interface generic module procedure specific end interface end module
elicits a bogus semantic error about "specific" not being an acceptable
module procedure for the generic interface; fix.
It would be good to have a test that produces this message.