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

    <tr>
        <th>Summary</th>
        <td>
            ICE when using non-local lambda expression in IILE in requires clause
        </td>
    </tr>

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

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

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

<pre>
    While attempting to write a concept that requires that a type has an `operator()()` with a dependent number of arguments, I encountered this ICE (this is a reduced testcase).

live: https://godbolt.org/z/TYbxf5P65

```c++
#include <utility>

template <class T>
concept indexable2 = requires {
    requires []<std::size_t... is>(std::index_sequence<is...>) {
        return requires (T t) { { t(is...) }; };
    }(std::make_index_sequence<2>{});
};

static_assert(not indexable2<int>);
```

Workaround is to use free functions/trait class for the test.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxlU01vpDAM_TVwiYqYMFA4cGinrTTSHvZQqdrTKCRmyDaTsInp169fB-aruygkxLGfnx9O59Rn-zJoA0wgwmFEbfcMHXv3GsnGpLMSRmQ4CGQe_kzaQ1h2guHnCGwQgQnLkip3I3iBzie8TnhznKucvWscyFvBCFaBRWanQweeuZ4Jv58OZAoJ37AtAyvdZBE8KMqhA9tuHhkBzd80BFFQk4ynEFCKAJQiS_KHJL9bZqPfICnu2IA4BvpI-BONvVOdM5g5v6fdF73Pv7qPvvxZldfBRHYZMuH3cSxWXmgrzaSAJcVmQm00fibF43VklM4InD2kESGw57PHSUJNxX-IzgAnr4eLmMntMRGj52It75PygeACqlhHcRf0F-wwyzJSIoLz-nw0Q-8CxZKCVP9GB_KbnZrv-EsOnLy9SsXrZ4ZH1_mlTb1AzEaicX9cLkhxf0XhIF5h9x8PHjlQ_ujbnMOvoZY5oEAtdyQc-Jjcumu9YkEWl3IugaefdY3z4vyr8NRDKrYL9fEUgPUeaJqsRO0sddoTeqGRLf-pd55aDeaGylLVFqopGpGiRgNtbL_3ASzBxHthnb0xTgrDjDh0SjD4GEnAQLDElm23Px7jehaWMlD-dPKm_acf6UZMXSbdgTbGvJ2Wm9G73yBJgScdwgSRbFmtCp4OrbxVdV2tVM8FVGVZ5k3dS7HuimrVrPN-nRrRgQnt0jipbnnOeV7xfFXzJm-yrs9z0eRSKdnlBRTJOoeD0CaLiePNSH07c-imfaBDowOGyyFppfcW4IQvJhwcRShhSAGRznzbmexf9AlVUQ">