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

    <tr>
        <th>Summary</th>
        <td>
            Wrong answer in `requires` not using the parameter
        </td>
    </tr>

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

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

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

<pre>
    See <https://cpp1.godbolt.org/z/hT8rqcfsT>:
```C++
template<class T> auto f() -> decltype([]<class Obj>(Obj obj) requires requires { obj.a(); }      // OK: `false`.
 || requires { Obj{}.a(); } // Wrong: `true`.
 {}(T{})) { }

template<class F, class T> concept invocable = requires(F f, T t) { f(t); };

static_assert(!invocable<decltype([]<class T>(T) -> decltype(f<T>()) {}), int>);
```
```output
<source>:7:15: error: static assertion failed due to requirement '!invocable<(lambda at <source>:7:35), int>'
    7 | static_assert(!invocable<decltype([]<class T>(T) -> decltype(f<T>()) {}), int>);
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
Compiler returned: 1
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMVE2P4zYM_TX0hZjAlvx58GHijAu0hynQAD0Wssw4GsiWV5J3sT30txeynclOMD31soaByGT4-PhIUTinhomohuwI2SkSi78aW_9qrqRffvk96kz_vf6DCIE3V-9nB_wZWAuslfOcHAbTd0b7g7EDsPZvYO31XNov8uLOwF_Cf-MTxM-Qx9vbADuGd7V6GmctPAFvpBbOYYhBsXiDF2AlsAqfgqUnqf33mYJtZfke8Nq9hTSsfO3e0HRvIcTSl0VZcvcDFMfgPIgNFPgRoTjh-my14OtvwJ8R8vgitCPI48NGEaFooGg-YoWsxRGK0yPiDvanNdOw43m7fIQLccDK8-1UBc4BNXxtYn0uTguswR90kmaSNHtU01cjRadDi07vRIGVbVCxwTP6W4qgqr_zBX78MaPzwiv5l3COrF8LS96xgTf_3YXz1oPzZw27AG92_73WW-ENqsmvzurO5TYqD59m8fPidyNvnFmspG3GCuDPSRYEJ2uNDYetFtxqUWbCi1CaeuwXQm9uKo00eQRWPFQKrNRi7HqBwuMnuXj2wL7Yu4uIRZgY_Dmk3Ce8aBCyl3_-37MhJpvCONBEVnjq97luzDgrTRYt-cVO1IceJA8djPqa9xWvRER1UsRJnuRVmkbXOpPiwi59nvdUyTTJiaiURVXmjOV5QX2kahYznrCYJxljLD3kXZyluUx7KbK4jzNIYxqF0getv45hGUXKuYXqImVpGmnRkXbrhmNsom-4OoGxsPBsHWKeumVwkMZaOe_uKF55TfV6n1FM7htZVFO41u_XLI9xMh4Xp6YB_ZVwFlaM5MlGi9X1x5U5KH9duoM0I7A2JNl_nmZr3kh6YO1KzQFrV-r_BgAA__8fEKcR">