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

    <tr>
        <th>Summary</th>
        <td>
            clang fronted c++ crash when using automatic variables directly in `noexcept` of generic lambda
        </td>
    </tr>

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

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

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

<pre>
    Compiler explorer link: https://godbolt.org/z/74bErMhEs

Compiling this crashes the compiler:

```c++
// clang++ -std=c++20 -fsyntax-only
struct true_type { constexpr operator bool() const { return true; } };

constexpr auto f() {
    true_type i;
    return [=](auto) noexcept(i) -> bool {
        return true;
    };
}

// static_assert(f()(0));
static_assert(requires { { f()(0) }; });
```

Some notes:

 * Uncommenting the first `static_assert` makes this work.
 * Removing the trailing return type `-> bool` also makes this work
 * Without the capture-default `[=]`, this doesn't compile complaining that "`i` can't be implicitly captured" even though `i` isn't odr-used
 * Making it a non-generic lambda (e.g., replacing the `auto` with `int`) removes the need for `[=]` and causes this not to crash.
 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcVE9v-ygQ_TT4MkpE8b_k4EP7S3PrZVerPf6EYRyzweCFcdvsp19hO2kSyQ4KzLz3eDMeGaM5OcSGlW-sPGRyot6H5sOQtK-x9-es9frS_PLDaCwGwO_R-oABrHFnlr9CTzRGlr8ycWTiePK69Za2PpyYOP7HxLEu2vfw0b9Hxg-Mvy6_C5xxJ6DeRFBBxh4jUI-gVqYEeZfBKr48iom39Cy7MykoK91p2YdNJM3ywxomOGy6eHEkvzfe2cuSFilMioDChL_pMiKw-g2Ud5HwewzgRwySfIDWe8vEjon9cjrHBaQpuDmZ5W_A6kN6Wf52L_cHTE7koVtRWL1GAcAdvbllp_2VIBUkP7DywMQugaR85_Fb4UhM7Ez6v2H5-6zyEfkOZZX5c_agtT48eLy4GUmSUb9ljBgS0yqeiR2fl_0t_zky4L-TCRhnn9L7mLpyz8sdyq2091r-9AOC84TxqRGAiVf4yyk_DOhoaSGEzoRUnoo_Sqo4DPI8d5aJ8OXDeXuH8gcO_vOKQEEuHXk1bu6Lit8sTmDSRv-MeAf4t6HeT7T0sRxpCrjR2MnJztp-KlpxJn4tENpjdEzUdO38ebXSuEWZJGBCsIqbJEDJJbZFMMNojTJkL1cuzYQA_EQHScaph2uWWRm8Dpspor6T_CHPiccQSHDebU7oMBgFVg6tlsDEDrenbVIbcLRSXe1iFZ-bsuLwZWihcjRfbA8hGbt-zw5RQ-fDswEgnQYlp3j10nkC8sssuFYp002u9_leZti8VLvqpSwLUWZ9owvRFbri-65uC1nsdL5_KcudLoVUeZFjZhrBRc4rXr9UORfFdoedaKuyrOpKi1YqVnAcpLFbaz-HNK8yE-OETZW_VHVmZYs2zkNRCIdfMB-mQpSHLDQpZ9NOp8gKbk2k-INChiw280SCLnhHqGEdRsvd4KtHB1NMTiYLh9Sw8CmDka3FCNoEVKmqxiXPbp98xcF38FifbAq2eZrAhvqp3So_MHFMqtZlMwb_Dypi4jjfJTJxnO_6fwAAAP__BnPUOg">