[Bug fortran/71156] PURE interface/definition inconsistency: accepts invalid, rejects valid

[pault at gcc dot gnu.org]

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

--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
Created attachment 38527
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38527&action=edit
Draft patch for the PR

This regtests OK on 7.0.0.

I want to check if there is a more elegant way of fixing the problem before I
submit and, of course, there is the testcase to write!

Cheers

Paul