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

    <tr>
        <th>Summary</th>
        <td>
            [flang][Fortran 2003] unimplemented semantic checks: type bound procedure 3
        </td>
    </tr>

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

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

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

<pre>
    ```
subroutine s()
  interface
    subroutine real_info()
    end
  end interface
  type mt
   contains
    procedure, nopass :: info => real_info
  end type
  type mt2
    type(mt) :: t1(2)
  end type
  type mt3
    type(mt2) :: t2(2)
  end type
  type mt4
    type(mt3) :: t3(2)
  end type
  type(mt4) :: t(2)

  call sub1(t%t3%t2%t1%info)
end
```
expected error: Not sure what specifically

Temprorily assign this to myself. Please feel free to take up this when anyone has time to do it. I will say here if I start working on this. 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNU02PmzAQ_TVwGRU5NuTjwCFtGqmXaiv1XhkYghtjI9s0y7_vmCQbdruVVrKEPR_vzfMzlW2mMlmz22KHhO39WDk7BmUQfMK3Cd9d4wDKBHStrPEeAFgUO5T6lzKtfd0EgKa5H2j7L0qYBoQ-vDTU1gSpjH8gDM7W2IwOE_4FjB2k95CIPS2IhLQ_JOLrYoIFXUR_w8QfyHOWb4md7-6QYUURvpDwHxjxDgxf4vCP4eTv4IgljvgAztyVL7teNd1La6l1NC1KpIoiYhdx0CKqLq723XpefHvzQPB5wDpgA-icdZHruw0E6hAunaQdpVWrItW0ZP-JPRnplJ6ADFQnA6FTHoKFfvKo2wyeNEqP0CJqaB1izAV5RhiHa-2lQwPSTJbeWyepV_VzUWNBhQy-wUVFfXKCDmkc1VLIB-kCXKw7K3MCe2XNIG1K0ezETqZBBY1lUnxutTSnpDjQ9mhdcNIAZ0xQBEaj-kFjjyYK99hLE1QNdYf12c_XHb2s7EjWvLxWEOnodNmFMMSahB9pnVToxiqrbU8Hrf_cP5-o7TfdKx2V9yPSv3csii1fp11Z1XnTbITcMMZXq812Lfi2qVtkXCBd1i7VskLto4aE86sMsW8d_UjRRM5JQqpKzjhna0afPM95lrdFUbBK1rsVxap1kjPSpXQWx8msO6WunCerxpOnpFY--Efy6iHijfUJ1bMyP5S0Nz45hs668hFPZ13lLOovQ-pYqA">