(j3.2006) Are 7.2.1.2p1(1) and 7.2.1.2p1(8) correct?

[Van Snyder]

7.2.1.2p1(3) says that if the variable and expression in an intrinsic
assignment are not conformable, the variable shall not be an allocatable
coarray or coindexed object.  Presumably, this is so that an intrinsic
assignment will not be an image control statement.

7.2.1.2p1(1) and (8) only say the variable shall not be an allocatable
coarray.  Should an allocatable coindexed object also be prohibited?