[J3] US-12 apparently incomplete

[Steven G. Kargl]

On Sun, Aug 22, 2021 at 12:06:38PM +0100, John Reid via J3 wrote:
> Dear all,
> 
> Sorry to be slow to reply to this.
> 
> I have come to the conclusion that a problem occurs if an <allocate-object>
> is unlimited polymorphic and is given a dynamic type with a coarray ultimate
> component by <type-spec> or <source-expr>. This could mean that whether the
> ALLOCATE statement is an image control statement is dynamic. The same goes
> for the DEALLOCATE statement for the object. We need to disallow this. We
> could effect this by keeping
> 
> C953 (R932) The declared type of <source-expr> shall not have a coarray
> ultimate component.
> 
> and adding a similar constraint on <type-spec>,

I have 18-007r1.  Doesn't this constraint already exist?
Did the current working draft delete C937?

C937 (R927) type-spec shall not specify a type that has a coarray
ultimate component.

-- 
Steve