09-183r1
To: J3
From: Van Snyder
Subject: C617 appears to be broken
Date: 2009 May 4
References: 09-007r1

1.  Discussion

C617  (R611) Except as an actual argument to an intrinsic inquiry
      function or as the <designator> in a type parameter inquiry, a
      <data-ref> shall not be a polymorphic subobject of a coindexed
      object and shall not have a polymorphic allocatable subcomponent.

appears to be broken, in that it prohibits a <data-ref> from having a
polymorphic allocatable subcomponent except if it is an actual argument
to an intrinsic inquiry function or the <designator> in a type
parameter inquiry.

If I remember the discussion that led to it correctly, and if I read
the subject of 08-308r1 correctly, this was an attempt to prohibit
cross-image dynamic type inquiry.

2.  Edits

[09-007r1:121:15 6.4.2 C617]--------------------------------------------
Editor: Replace "have" by "be a coindexed object that has".