(j3.2006) Another problem with specification expressions

[Van Snyder]

I think the upper bound specification for D is illegal, but I can't find
where it's prohibited, at least not in 7.1.11:

subroutine S
  integer :: B[2,2:*]
  integer :: C(lcobound(b,1):ucobound(b,1))
  integer :: D(lcobound(b,2):ucobound(b,2))
end function S

This ought to be prohibited in 7.1.11p2(9)(b), similarly to
7.1.11p2(9)(b)(i).

Is an interp needed?