tree cd4258193e7c01119c85e1de8bda8b5ed6aa8c0b
parent 432c5f2c608dfd40c4131e7e3a8282b0231b15ab
author Imad Aldij <os@imadij.com> 1749288664 +0300
committer GitHub <noreply@github.com> 1749288664 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoRAbYCRC1aQ7uu5UhlAAAME0QAG3WWIwdRTrVTpJL8oLodx00
 VJQA8u4719UM6V/Q1+O7Jy0PZXt51dxlWzp/iFx/Zoq6S6m32G2rMMQcTySH8R05
 yPuBDhJF3kBhVk+ga+EdzGQbdVoECXD7vZEx7+F3NuSGkbl8LJ8rvoy1yIXYUpJD
 mimiYYs3yFndlL50pU/M69ptei+AEzzhtubt5Bn5vlr4YmFwGHDZLG2G5ZmQwPLT
 SoVagxIXsB7WZUUopGNZ9P6yaFc9i4AIhN2xvu+rTifFpg6MOPfs0YRCFaPol9C4
 Y/7xC4GjRJ76wCIzdtEgMooETGPJKcrJUt2z6qUtm2z/DiteM80urEfF16bM8fp9
 eMY9obJ3RnL/xwm8NKmDsLeIp4VuATvkEDuIywlKWTRU+aIOBa7HWofvOEXA3+qR
 t27KT73gpHIgYpwZ87p4G9LNwjjiXb9iBT6XoiuQOsR16SkvDU3Bjp6NSNrOTG8c
 KNL7MSqZ3zWd5Dp/FtNxiNDesBmc9LTGc8R7ItX9f4o9SNjFkrOqFpOooBmtLzSR
 JDBvAIsDncuWJ8OTt23gkcmGKmuiZht1petcECRRUEDqAGl567Zj9sa/rGTbLl3D
 TJg3HSAg03LHDTNkWfs8C6gcc0QYPWoh6kywF/KZT/LNoVWS2UCc+5+QsPYH87d0
 jtWjit/oNmpFz48GZmPm
 =ti0b
 -----END PGP SIGNATURE-----
 

[Clang] Implement CWG2517 Useless restriction on use of parameter in constraint-expression (#132919)

Remove `[expr.prim.req.nested]` check which restrict that local
parameters in constraint-expressions can only appear as unevaluated
operands. This change makes the treatment of examples like `requires`
expressions and other constant expression contexts uniform, consistent
with the adoption of P2280.

References: https://cplusplus.github.io/CWG/issues/2517.html
Fixes  #132825

---------

Co-authored-by: cor3ntin <corentinjabot@gmail.com>