[all-commits] [llvm/llvm-project] 14335b: [Clang][NFC] Minor constraint satisfaction checkin...

[cor3ntin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 14335be0780d369f4aa2403ee986bac3d436872f
      https://github.com/llvm/llvm-project/commit/14335be0780d369f4aa2403ee986bac3d436872f
  Author: cor3ntin <corentinjabot at gmail.com>
  Date:   2025-04-02 (Wed, 02 Apr 2025)

  Changed paths:
    M clang/include/clang/Sema/Sema.h
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaDeclCXX.cpp

  Log Message:
  -----------
  [Clang][NFC] Minor constraint satisfaction checking cleanup (#134059)

We had a weird, incorrect, "ConstraintEvaluator" object that was not
useful for anything, so I removed that.

I also changed the CheckConstraintSatisfaction overload that just took
an Expr* as this did not make much sense at all.

Satisfaction checking is still fairly wrong,
we do not follow the standard that requires we only substitute into the
mapping of the normal form, so we produce errors for incorrect
substitution into concepts id, even though we should not.



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