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

    <tr>
        <th>Summary</th>
        <td>
            [flang] Passing polymorphic array to a dummy arg that is explicit shape and has different rank
        </td>
    </tr>

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

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

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

<pre>
    The polymorphism feature is still in development. This issue is to track the problem being handled when the feature is switched on by default.

Reproducer:
```fortran
program test
  type base
 real(4) :: data
  end type
  interface
    subroutine resetBaseVal(b)
    import base
    type(base) :: b(200)
    end subroutine
  end interface
  class(base), allocatable :: b1(:,:)
 allocate(base::b1(10, 20))
  call resetBaseVal(b1)
end
```
#### Compile command ####
```
 flang-new -flang-experimental-polymorphism d21.f90
```
#### Output ####
```
error: loc("d21.f90":14:3): 'fir.rebox' op result type and shape operand ranks must match
error: verification of lowering to FIR failed
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEVFGPozgM_jXhxWoVArTlgYfujCrd051Wq3s3xEBuQoISM53--1Nop-3OrrQSAuJ8tj9_cYwxmsERNaL6JqrXDBcefWje3s7WZK3Xl-bHSDB7e5l8mEcTJ-gJeQkEJkJkYy0YB5reyfp5Isdb-DGaCCbGZcWwBw7YvQGnQMG3liZoybgBRnTakobzSG7dfg59NtyNpME7aC-gqcfF8lbIVyGP1_d3moPXS0dBFDeT2Mnr0_vAAd3VOgc_BJyAKfLVAsCXmaDFSDdDILRCHUqhakjhiiNoZPyEk9Ory-faOKbQY3c3AMSlDX5h4wgCReJvGOnfNWgrVP3AmWn2gZ9zw5VOQibjg0Er1EFJ-ZN7YvJI9czvF06dxRgfUYV6AbTWd8jYWronyYU6pH_1sr4_c92gd1oregXnMoVSK68HtQ6t_aXy_A4gp7-c0W2pivsDL36ajSXo_DSh0_C8-Vtv6C26YePoDJvrL33MFEzqRLSbnxpXq3zb1_LPLP5eeF74z8kpBJ96D6zvkoZKfaZQShTHvBTFsUgCFEcQat-bsA3U-g-h9uDnpNVi-dqJqdg44kzgZwppFdC9RZiWyDAhd-OXlO8UTG86ZOMd-B6sP1NIl4o9nP76Dj0aS18Vz3RT6LqoMaMm38vDLt-rWmZjU5dF3Zc7vZctVd0ub0nWRFLnlO-qjurMNEqqUiql8qoqK7kty2pfFn176JSU_UGJUtKExm6tfZ-2PgzZOgGag9qVMrPYko3rkFFqPackUfWahSbhN-0yRFFKayLHRwQ2bNfJdPWoXuGfNK_c8DSQOsAQ8JLKRtDLNF0AwwA8IqcxQh-zNZ3hm7hJ2BEjaNP3FMjxKnO2BNuMzHNcL8BJqNNgeFzabecnoU6J0O2zmYP_jzoW6rTWF4U6rSX-HwAA__8ck5ha">