Demonstration of the "invalid" way to pass array bounds in Fortran

arraybounds.f90

program test
  implicit none

  integer :: a(10)

  a = [1,2,3,4,5,6,7,8,9,10]

  call print_int_array(a)
end program test

subroutine print_int_array(x)
  implicit none
  
  integer, intent(in) :: x(3:5) ! This doesn't error out given 'a' above.

  write(*,*) x
end subroutine print_int_array