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

    <tr>
        <th>Summary</th>
        <td>
            [clang++] Constraints aren't substituted in an unevaluated context
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    https://godbolt.org/z/EG4Kf4xvd

The _expression_ of a _simple-requirement_ is an unevaluated operand ([[expr.prim.req.simple]](https://eel.is/c++draft/expr.prim.req#simple-1.sentence-2)), but Clang doesn't currently seem to be pushing a corresponding `ExpressionEvaluationContext` to treat them as such.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxcUs2OmzAQfhpzsYJggAAHDpvspodee48MHoJbY7OecZTdp6-cRP1ZaSTLlubz96eIzMUhDqI5iOY1U5EXH4Zfij_1mo1efwwL80aiehFwEnC6eD16y7kPFwGnTwGnt2_197m-XbUoXkTx8mNBecbbFpDIeHeWfpZKnsmsm8VdwPdoAq7o-CwNSeVkdHhVNipGLf2GQTktBXR3QocElG_BrHnA9_wBIprXNND9zwzR5oYEnCYBBwEHHdTM6f1fCAHVk0mZEzpGN-EOBPT3Ocoxsjxa5S5SeyQnoGU5xRDQsf2QhLhK9nJEuUVajLtIJScfAtLmnU53sS_e_oh_ewgz3h29Y7yx2BdpnwMqlrzgKhVJitOSZ3qodF_1KsOhbKsWoN9Dly0DzuU07fe11lU7FhPMc9c2fV1PWs9dhTozAxTQFGXZlX3dFl1e6V7N-7nr-3JuG1WKusBVGZtbe11TcJkhijiUUNUtZFaNaOleAIApaRcAqQthSAu7MV5I1IU1xPQXgg3be2ueG8lx0bzKo3fEQRnHJFXAh4MUR2LDMUVs3NfQp4c3WQz2a9kML3HMJ78KOKWvn8duC_4nTindu5SU-lPNdYDfAQAA___5pu51">