[all-commits] [llvm/llvm-project] ed7323: Revert "[Clang] Normalize constraints before check...

[Corentin Jabot via All-commits]

  Branch: refs/heads/revert-141776-corentin/use_normalization_for_satisfaction
  Home:   https://github.com/llvm/llvm-project
  Commit: ed73236d4f44d0fca16cfd43786614e5b6e10814
      https://github.com/llvm/llvm-project/commit/ed73236d4f44d0fca16cfd43786614e5b6e10814
  Author: Corentin Jabot <corentinjabot at gmail.com>
  Date:   2025-10-02 (Thu, 02 Oct 2025)

  Changed paths:
    M clang/docs/InternalsManual.rst
    M clang/docs/ReleaseNotes.rst
    M clang/include/clang/AST/ASTConcept.h
    M clang/include/clang/AST/ASTContext.h
    M clang/include/clang/Sema/Sema.h
    M clang/include/clang/Sema/SemaConcept.h
    M clang/include/clang/Sema/Template.h
    M clang/lib/AST/ASTConcept.cpp
    M clang/lib/AST/ASTImporter.cpp
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaDeclCXX.cpp
    M clang/lib/Sema/SemaExprCXX.cpp
    M clang/lib/Sema/SemaOverload.cpp
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateDeduction.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/TreeTransform.h
    M clang/lib/Serialization/ASTReaderDecl.cpp
    M clang/lib/Serialization/ASTReaderStmt.cpp
    M clang/lib/Serialization/ASTWriterStmt.cpp
    M clang/test/AST/ast-dump-concepts.cpp
    M clang/test/AST/ast-dump-ctad-alias.cpp
    M clang/test/CXX/drs/cwg25xx.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.id/p3.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.req/compound-requirement.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.req/nested-requirement.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.req/simple-requirement.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.req/type-requirement.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.atomic/constrant-satisfaction-conversions.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp
    M clang/test/CXX/temp/temp.param/p10-2a.cpp
    M clang/test/SemaCXX/cxx23-assume.cpp
    M clang/test/SemaCXX/cxx2b-deducing-this.cpp
    M clang/test/SemaCXX/cxx2c-fold-exprs.cpp
    M clang/test/SemaCXX/cxx2c-template-template-param.cpp
    M clang/test/SemaCXX/invalid-requirement-requires-expr.cpp
    M clang/test/SemaCXX/overload-resolution-deferred-templates.cpp
    M clang/test/SemaCXX/type-traits.cpp
    M clang/test/SemaHLSL/BuiltIns/Buffers.hlsl
    M clang/test/SemaHLSL/BuiltIns/RWBuffers.hlsl
    M clang/test/SemaTemplate/concepts-recovery-expr.cpp
    M clang/test/SemaTemplate/concepts-recursive-inst.cpp
    M clang/test/SemaTemplate/concepts.cpp
    M clang/test/SemaTemplate/deduction-guide.cpp
    M clang/test/SemaTemplate/instantiate-abbreviated-template.cpp
    M clang/test/SemaTemplate/instantiate-expanded-type-constraint.cpp
    M clang/test/SemaTemplate/instantiate-requires-expr.cpp
    M clang/test/SemaTemplate/instantiate-template-argument.cpp
    M clang/test/SemaTemplate/pr52970.cpp
    M libcxx/test/libcxx/algorithms/cpp17_iterator_concepts.verify.cpp

  Log Message:
  -----------
  Revert "[Clang] Normalize constraints before checking for satisfaction (#141776)"

This reverts commit 9583b399d85cacdfa0a41f798ab44abaa3981bbf.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications