llvm-project
14335be0 - [Clang][NFC] Minor constraint satisfaction checking cleanup (#134059)

Commit
256 days ago
[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.
Author
Parents
Loading