<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/128755>128755</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [Flang] Missing diagnostic on type-spec with deferred length being used in array constructor
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            flang:frontend
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          DanielCChen
      </td>
    </tr>
</table>

<pre>
    Consider the following code
```
module n
   character(:), allocatable :: c1(:)
end module

program deferLenMoveAlloc002
   use n

   print *, (/ character(:) :: /)                               !! Incorrect. 
   allocate ( c1(0), source = (/ character(:) :: /) ).          !! Incorrect.

end program
```

Both case should be diagnosed.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMktGKpDAQRb8mvhQjsdRWH3xwuhEWdj4iJqVmSSeSxB7675e0LgPLMqwIUpK6t07lihD0Yol6Vr-z-paJPa7O9zdhNZnrdSWbTU49-6uzQSvyEFeC2RnjPrVdQDpFjA_sws-XD3endkNgGR8AQK7CCxnJM2xZOTDsGF5BGOOkiGIyBOlvOYAsvk7wgayCQyip82HzbvHiDopm8j_JfrgHDUmEczyM9nB4HtXmtY3AcEhuSRjHf4zyx5vhmKrvH4YFwwJ-WOm8JxlzOKxOFko2BwU_KYPbvUyAt_8egWGXf2N58KXlnAv5a_eMD-8uriBFIAir242CiUBpsVgXSOWZ6kvVlZ3IqC-aite85U2Xrb0sZCeqcr40TVddWilEg7MiTkWFqrpUme6RY80R66LFpu7yCVuFXUdVI0VVzzWrON2FNrkxj3vu_JLpEHbqC2ybus6MmMiEV8wQZyPswsph9s5GsoohpvD5PvW-TfsSWMWNDjF8qUUdzSum46u5vsGHDiGF8MSLWoKzEJ8bvYWNJHzquB6J8aTAkF3iChOllj2QAm1BeC-eIJ0N0e8yOp_t3vRrjFt43c_IcFx0XPcpl-7OcEzjnJ-3zbtfJCPD8UUaGI4n7KPH3wEAAP__xgL-gw">