26   subroutine test2(x, y, a, b)  subroutine
27     class(t1) :: x  local
28     integer :: y  local
29     real :: a(x - y)
30     real :: b(x .and. y)
102   subroutine test2(x, y, a)  subroutine
103     class(t2) :: x  local
104     integer :: y  local
105     real :: a(x + y)
185   subroutine test2(x, y, a)  subroutine
186     class(t2) :: x  local
187     integer :: y  local
188     real :: a(x .binary. y)