tree 89f28e50caa6786f189a1246552839722fe27361
parent a0b75b9d990d834a814f1585a21705da558e43d3
author cor3ntin <corentinjabot@gmail.com> 1743594588 +0200
committer GitHub <noreply@github.com> 1743594588 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJn7SRcCRC1aQ7uu5UhlAAApegQAIQgi96tSACwWIViVUsBhPjf
 71J2GXwpQE9n52ymn9GJQE0lDM7X5yri2wMPxdw/t6oca1w38bNgDDxqXlTAB8qO
 aDbXqegFT0jTmC6+/NHBZjhb2oV70X4XaYzkhmDdRjiticSctiltefYejz95SJs7
 DXLBrPLOcMUQ35gQtWjRg3DkKXt8Kro+9uAvvW/ziDx/KOFFQZRjzlnsvTkcCHEN
 am76+J2zcNSSL7qxNTdYQmtQINyeVmeZff0+9UYJTw26Gy8e4BsrO3DMvy0X2lPy
 EKylgQlFy3cqjYKmF4vvjIujrixiohczi5LqbEZkhuEmHAuu+T3etclifI3aeuQJ
 ZIKKB9YEa1Lj7zhcfJ8OlGiPdtosToNJkzk60NkpkoWauiUOmx5FNL4lcXwqGNB6
 YeFHkC+WBtiTQvsgrwWvlXL7mqTcIlCskXxlbAQZZ8XKJ+ogDymyr8852fZ4qeCn
 zFpx+qYGcqzSqZbqDwO+MML6Mg5mgeJOxghZDEJiVDqSwyvnv8WpwrryCXFUhSSa
 yky5R+jA4fY1W2H98jAtHjLEaM8pQXCqi9biai59oLpNhQq1Z5hL4BFA+dUdewRO
 WFcVv3GE6qunBL7/KNrPiF2aqZY32RfUE1jKOsXk3NxPr4vCSIChADqoUpr7GrNs
 izvCuVyX2RUsRXyA68ya
 =PLwV
 -----END PGP SIGNATURE-----
 

[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.