if the subtypes of both argument and parameter do not match (use eqtype() instead of comparing t_tspec fields only).