!! check that non conformant arrays are detected 
!! for allocatable arrays in derived types
!! (feature of TR 15581: ALLOCATABLE attribute)
      module array_mod
      type array
      integer, allocatable :: value(:)
      end type
      end module
      program con
      use array_mod 
      type(array) :: y
      integer, allocatable, dimension(:) :: x
      allocate(y%value(10))
      y%value = 1
      allocate(x(11))
      x = y%value
      end