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

    <tr>
        <th>Summary</th>
        <td>
            noexcept(constant-expression) accepts non contextually converted constant expressions
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    ```cpp
struct C
{
    constexpr explicit operator bool(void) { return false; }
};

void a(void) noexcept(C{})
{
}
```
This code will compile.

> In a *noexcept-specifier*, the constant-expression, if supplied, shall be a contextually converted constant expression of type `bool` (7.7); that constant expression is the exception specification of the function type in which the *noexcept-specifier* appears. A `(` token that follows `noexcept` is part of the noexcept-specifier and does not commence an initializer (9.4) The *noexcept-specifier* `noexcept` without a constant-expression is equivalent to the *noexcept-specifier* `noexcept(true)`.
ISO/IEC N4950/14.5 [except.spec]

> A converted constant expression of type `T` is an expression, implicitly converted to type `T`, where the converted expression is a constant expression and the implicit conversion sequence contains only
> [...]
> A *contextually converted constant expression* of type `bool` is an expression, contextually converted to `bool` (7.3), where the converted expression is a constant expression and the conversion sequence contains only the conversions above
ISO/IEC N4950/7.7 [expr.const]/12
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysVe1u4zYQfJr1n0UEmtTnD_2QkzMQoGgLNC9ASauIPZrUkZQd9-kLSnaSy_muV-AAAwa93NmZ3Vlaeq-eDVEN2Q6yh42cw2hd_XQ-KGno85-_bVrbn2vI2frppglY44Obu4D3wBoodsAaRMTOGh_oZXJIL5NWnQpoJ3IyWIettRp4ebSqB14hFDt0FGZncJDaE4gdQvGwwD2AiIjAmngb5bs0Y-mloykAL-9j3eIBePXK4QJwZQqseRqVx872hCelNXb2MClNyYoO4hM-GpQIvLkC3_mJOjUocsAb4PcYRlp1SRPuojbyXlkTQ2pAP0-TVtTHox-l1tgSypgQ6CXMUutzPBzJBepfcfANB-2A4TwRQs6WFuUMgZdFUkRhYodhlOFmovILt5V2_OHCvJPhijsSDrPplvNSRBk8jaobl9D3VKOcJpLOJ9hEVsDLSCrYz2RWNoPV2p58DL7OI2eR0CRduFb-Fhul6bG35NHYqOlwINMRSoPKqKCkVv-Qi-qrJI3DfvoRyQ_FTyqMdg5r7z8OK1KjL7M6Sk0mYLA_1v8empfBzRRnkbNom8e__gC-f_x0j7-nVcaA77dpkiFkuzUhiUiQPbw5rPl5Azxd2igNfnDaYV2nr9wUZbxLjPdOIzm6WvZy7es2yJsc4mBi1rXOJX2JefoyL3OKppbKeLRGny_iINslSXLRu4gF3vy8-2O3byzArRZ8BzTYbzZHxGn9gmb8Zw8-3PIoW3ukmyYpkmL1yOSSpWZsGd9v-aavRV-JSm6o3hap2KZlLvLNWA-yYrLqumybllTyXAyyz_JcSrnNWSvKjao54xkTvGRFVmzzpExZIbaCtWU6COI9pIwOUulE6-Mhse55o7yfqd4KISq-0bIl7ZdXn3NDJ1yiwHn8E3B1TLpr52cPKdPKB_8GE1TQVL9bkZvvY4Wyi_G47eZ_vIh-MztdjyFMHkQDfA98_6zCOLdJZw_A95HH5etucvZv6gLw_cLex56u8o41_zcAAP__e59KAw">