[sv-bc] Type rules for subprogram arguments

Are there rules for the required type of a subprogram argument?  For a ref argument, the lrm says:

    Arguments passed by reference shall be matched with equivalent data types

For an input argument, the only rule I see is:

    If an argument in the subroutine is declared as an input, then the corresponding expression in the
    subroutine call can be any expression.

"Any expression", eh?  Do the types not have to match in some sense?

Paul

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.