In 7.2.1.2p1(1,3,8) a variable is not permitted to be allocatable if it is a coarray. In In 7.2.1.2p1(3) it's also prohibited to be a coindexed object. I presume the latter is to cover the case of an allocatable subobject of a coarray. Why do we care about allocatable subobjects of coarrays in 7.2.1.2p1(3), but not in 7.2.1.2p1(1,8)?