(j3.2006) (SC22WG5.5642) Another comment on Corrigendum 4

[Van Snyder]

Is C1278a, as amended by Corrigendum 4, not yet correct?

  C1278a An INTENT(OUT) dummy argument of a pure procedure shall not be
         polymorphic or have a polymorphic allocatable ultimate component.

Suppose I have

type :: T1
end type T1

type :: T2
  class(t1), allocatable :: C2
end type T2

type :: T3
  type(t2), allocatable :: C3
end type T3

pure subroutine S ( A )
  type(t3), intent(out) :: A
end subroutine S

The dummy argument A is of a type that has a polymorphic allocatable
potential subobject component, but it does not have a polymorphic
allocatable ultimate component.

Do we wish to allow this, or does C1278a need more work?