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

    <tr>
        <th>Summary</th>
        <td>
            [Coroutines] Add a verifier for coroutines
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            coroutines
      </td>
    </tr>

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

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

<pre>
    Currently the compiler will crash directly if the input is not valid. It is not friendly and confusing to people. We should better add a verifier for coroutines. Here is an example: https://github.com/llvm/llvm-project/issues/60713
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykkc3u2yoQxZ8Gb0bXwkMgzsKL3PwVtU_QbjGM46kIuHykzdtXsdRm101XSOjMmTPnZ0vhWySahP5f6I_OtrqmPF3WZuN3_tpO3Zz8c7q0nCnW8IS6Erh03zhQhh8cArhsywqeM7mXgJddw3FrFbhATBUeNrDv4fOfjyUzRR-eYKMHl-LSCscb1AQbpS1QD18Iyppa8DBTrZTBeg8WHpR5YcqwpAwu5dQqRyo9fKJML3cbgX7a-xZIqDOstW5FqLPAq8Drjeva5t6lu8BrCI_fz39bTt_IVYFXLqVREXg18jiozk_Kn9TJdjQN5mhGPeJJd-t0UJ7QzEahnv141JKOg1vQ4HIcjCPZ8YQSlUSUctDjoHuJxmhz0soNNOsZxUHS3XLoXwH6lG_dvnoycjSqC3amUHYoiO8zBeILUp721HO7FXGQgUstb5vKNew4L-8x_QHnv9XXtRymf-lqNOpXAAAA__8GT8Mf">