[Bug fortran/85395] [F03] private clause contained in derived type acquires spurious scope

[janus at gcc dot gnu.org]

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

--- Comment #7 from janus at gcc dot gnu.org ---
(In reply to janus from comment #6)
> I have verified that the patch in comment 5 shows no failures in the
> testsuite.

Despite that, it's still not fully correct. In fact it rejects the following
test case:


module m
   implicit none
   type :: t
      private
      procedure(), pointer, nopass, public :: ptr
   end type
end module

program p
   use m
   implicit none
   type(t) :: dt
   dt%ptr => null()
end


I'm surprised that the testsuite does not seem to cover such a case.