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

    <tr>
        <th>Summary</th>
        <td>
            P1494R5: Partial program correctness
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            libc++,
            c++26,
            wg21 paper
      </td>
    </tr>

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

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

<pre>
    **Link:** https://wg21.link/P1494R5
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxUkMEKnDAQhp9mcpEVM0nWzSEHt4unHpa-QdRR00YjSdzSty9aaSkMDP_P8M98Y1Ny00pkQD1BvZjd8xyi8YML60qsC8MvA9gANl_d-gNE80cUc85bOmUL2P6ckJf-GMD2zaWW3xQbjBi00JaR4bXQWkuuJJuNVLVGrMZB4wPr0faakxBKjjVZPnacOYMVqgq55lqikKUgWXEUIyE-Ook1yIoW63zp_WcpQ5yYS2knw7F-3DXztiOfTiBE77oe8HkWAn4BxEvj_a9znF9sdqN4WOrFojmib90-JZCVdymnf8uyy57MhQmiKd42Zmd9scUwRbsUfYiR-rxSSmyP3vz_q8nlee_KPiyA7RF6tdsWw3fqM2B74iTA9iL6GPwdAAD__-tYfZY">