[J3] Type-spec for a type that has a coarray ultimate component

[Vipul Parekh]

Constraint C937 in 18-007r1 that states, "type-spec shall not specify a
type that has a coarray ultimate component."

Now consider the following code with which three different processors fail
to issue any diagnostics:

   type :: a_t
      integer, allocatable :: n[:]
   end type
   class(*), allocatable :: a
   allocate( a_t :: a )
end

Are these processors right in compiling the above code as not being in
violation of C937?

Thank you,
Vipul Parekh
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20210816/d738a66c/attachment.htm>