[Bug fortran/63552] [OOP] Type-bound procedures rejected as actual argument to dummy procedure

[janus at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63552

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janus at gcc dot gnu.org

--- Comment #2 from janus at gcc dot gnu.org ---
(In reply to Tobias Burnus from comment #0)
> call co_reduce(a,x%tbp)
>                       1
> Error: Expected argument list at (1)

That error comes from 'gfc_match_varspec' (in primary.c). In general I think
it's not possible to decide at parse-time whether the TBP should have an
argument list here or not (depending on whether the dummy is a procedure, which
may not be known while parsing).

The error should probably move to resolution stage, where all argument checking
is done.