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

    <tr>
        <th>Summary</th>
        <td>
            [clang] Rejects valid templated lambda inside constant-evaluated context
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:frontend,
            rejects-valid
      </td>
    </tr>

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

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

<pre>
    Clang (>=16) rejects some valid cases of templated lambda that appear inside constant-evaluated context.
e.g.
```c++
template <typename> struct S1 {
  void f() {
    auto test = [](auto) {
      static_assert( // constant-evaluated context
          [](auto &&) { return true; }(1));
    };
    test(1);
  }
};

void a() {
  S1<int> s;
  s.f();
}
```
Live demo: https://godbolt.org/z/zTro7Ycfa
Bisected to: 051cc460ba91

Context: https://reviews.llvm.org/D155064#4651597
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEVMuO2zoM_Rp6QyTQI34tvEjiyequ7nTTVSHLTKLCtgKJTjvz9YUdzwOZzhSgTUsieXRIHJsY3WkgqiDdQVonZuSzD9XZPPszdcRJ49unat-Z4YSgCtAPoGuZgSox0E-yHDH6nvBqOteiNZEi-iMy9ZfOMLXYmb5pDfLZMJrLhUxAN0TXElo_RDYDr-hqunEOtn5g-s1rEDWILa1Pyxdk4mYW1G6yefcFBEHv-elCg-kJ9ANGDqNlfJQI-RIKewVbgVfvWjxOPFT54XBxZmSPTJERdI23toAqpu0vshYX2bCzP0yMFBhUgaAOoA5fcP2i2J17fxMElc02XwgD8RgG5DAS6B1CPsVJUOVk-u8XzutPTibuL-n3EXm9rN9nz--5teaT1j5K0Hs38Dyd-6JxvUzk7eAV5mXut-V_7krYUu9Bb_HMfImgt7cOn3zb-I7XPpxAHZ6n51vw-Xd7NLfcnYtkp77znC1Sae0mE40p5Xsa-2UqHwACXR39iuuuu_YLSi3TVGQbUHqTpTIt86StdFvq0iRUyaxMSymkKJJz1eSlyo1qKZVF3hbW6CyTrWi0PRZCpGXiKiWUFqUq5EYUslyn5VE2lOVWC1nIo4SNoN647hU_cTGOVGV5VsikMw11cdawUnYSK-jtMUxchhaUArUHpRbBrmatTrtpnYRqKrhqxlOEjehc5DeKCTvu5j_DrWRa4_-L5m9y_6Dyfyo7GUNX3U3O8Xls1tb3oA4T9OJWl-AnMFCHmWoEdZjZ_gkAAP__M8NXkw">