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

Commit
53 days ago
[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>
Author
Parents
  • clang
    • docs
      • File
        ReleaseNotes.rst
    • include/clang/Basic
      • DiagnosticSemaKinds.td
    • lib/Sema
      • File
        SemaExpr.cpp
    • test/CXX
      • drs
        • File
          cwg25xx.cpp
      • expr/expr.prim/expr.prim.req
        • File
          nested-requirement.cpp
        • File
          simple-requirement.cpp
    • www
      • File
        cxx_dr_status.html
Loading