33   subroutine test3(x, y, a)  subroutine
34     type(t1) :: x  local
35     integer :: y  local
36     real :: a(x + y)
108   subroutine test3(x, y, a)  subroutine
109     class(t1) :: x  local
110     class(t2) :: y  local
111     real :: a(x + y)
191   subroutine test3(x, y, a)  subroutine
192     class(t1) :: x  local
193     class(t2) :: y  local
194     real :: a(x .binary. y)