15       logical, intent(in) :: x, y  local
19       integer, intent(in) :: y  local
23       type(t), intent(in) :: x, y  local
30       complex, intent(in) :: y  local
35       type(t), intent(in) :: y  local
39   subroutine s1(x, y, z)  argument
40     logical :: x, y  local
43   subroutine s2(x, y, z)  argument
45     integer :: y  local
48   subroutine s3(x, y, z)  argument
50     complex :: y  local
53   subroutine s4(x, y, z)  argument
55     type(t) :: y  local
146       integer, intent(in) :: y  local
150       integer, intent(in) :: y  local
157       type(t), intent(in) :: x, y  local
163       type(t), intent(in) :: x, y  local
168       real, intent(in) :: x, y  local
172   subroutine s1(x, y, z)  argument
174     integer :: y  local
177   subroutine s2(x, y, z)  argument
179     integer :: y  local
182   subroutine s3(x, y, z)  argument
183     type(t) :: x, y  local
186   subroutine s4(x, y, z)  argument
187     type(t) :: x, y  local
190   subroutine s5(x, y, z)  argument
191     real :: x, y  local
287       type(t), intent(in) :: y  local
293       type(t), intent(in) :: x, y  local
299       integer, intent(in) :: y  local
303   subroutine s1(x, y, z)  argument
305     type(t) :: y  local
308   subroutine s2(x, y, z)  argument
310     type(t) :: y  local
313   subroutine s3(x, y, z)  argument
315     integer :: y  local
381       character(len=*,kind=2), intent(in) :: y  local
385       real, intent(in) :: y  local
389   subroutine s1(x, y, z)  argument
391     character(len=*,kind=2) :: y  local
394   subroutine s2(x, y, z)  argument
396     real :: y  local
462   subroutine s1(x, y)  argument
464     real :: y(+x)  ! resolves_to plus_l  local
466   subroutine s2(x, y)  argument
468     real :: y(-x)  ! resolves_to minus_t  local
470   subroutine s3(x, y)  argument
472     real :: y(.not. x)  ! resolves to not_t  local
474   subroutine s4(x, y)  argument
475     real :: y(.not. x)  ! resolves to not_real  local
543       real, intent(in) :: y(:, :, :)  local
547   subroutine s1(n, x, y, z, a, b)  argument
550     real :: y(4, n)  local
589       type(t(4)), intent(in) :: x, y  local
593       type(t(8)), intent(in) :: x, y  local
597   subroutine s1(x, y, z)  argument
598     type(t(4)) :: x, y  local
601   subroutine s2(x, y, z)  argument
602     type(t(8)) :: x, y  local