! { dg-do compile }
! { dg-options "-fcoarray=single" }
!
!
! LOCK/LOCK_TYPE checks 
!

subroutine valid()
  use iso_fortran_env
  implicit none
  type t
    type(lock_type) :: lock
  end type t

  type t2
    type(lock_type), allocatable :: lock(:)[:]
  end type t2

  type(t), save :: a[*]
  type(t2), save :: b ! OK

  allocate(b%lock(1)[*])
  LOCK(a%lock) ! OK
  LOCK(a[1]%lock) ! OK

  LOCK(b%lock(1)) ! OK
  LOCK(b%lock(1)[1]) ! OK
end subroutine valid

subroutine invalid()
  use iso_fortran_env
  implicit none
  type t
    type(lock_type) :: lock
  end type t
  type(t), save :: a ! { dg-error "type LOCK_TYPE or with subcomponent of type LOCK_TYPE must be a coarray" }
end subroutine invalid

subroutine more_tests
  use iso_fortran_env
  implicit none
  type t
    type(lock_type) :: a ! OK
  end type t

  type t1
    type(lock_type), allocatable :: c2(:)[:] ! OK 
  end type t1
  type(t1) :: x1 ! OK

  type t2
    type(lock_type), allocatable :: c1(:) ! { dg-error "Allocatable component c1 at .1. of type LOCK_TYPE must have a codimension" }
  end type t2

  type t3
    type(t) :: b
  end type t3
  type(t3) :: x3 ! { dg-error "of type LOCK_TYPE or with subcomponent of type LOCK_TYPE must be a coarray" }

  type t4
    type(lock_type) :: c0(2)
  end type t4
  type(t4) :: x4 ! { dg-error "of type LOCK_TYPE or with subcomponent of type LOCK_TYPE must be a coarray" }
end subroutine more_tests