[Patch, Fortran] PR fortran/37425: Finish type-bound operators

[Paul Richard Thomas]

Tobi,

> assignments, the same check is needed for non-elemental subroutines.  Paul,
> can you confirm this last thing I said?

I sincerely hope that it is!

>
> So, I think you could construct a testcase that breaks if you use EXEC_CALL
> instead EXEC_ASSIGN_CALL.  This should also go into the testsuite.

EXEC_ASSIGN_CALL was introduced to fix PR25746, I think that you will
find that the associated elemental_subroutine_3.f90 tests the
dependency checking.

Whether it is worth testing a non-elemental case or not, I do not
know.  Perhaps the best would be to do that in
elemental_subroutine_3.f90 and rename it to assign_* something or
other.  At the same time, the comment should be changed.

Cheers

Paul