129                                 ConstraintSatisfaction &Satisfaction,  in calculateConstraintSatisfaction()  argument
134     if (calculateConstraintSatisfaction(S, BO.getLHS(), Satisfaction,  in calculateConstraintSatisfaction()
138     bool IsLHSSatisfied = Satisfaction.IsSatisfied;  in calculateConstraintSatisfaction()
159         S, BO.getRHS(), Satisfaction, std::forward<AtomicEvaluator>(Evaluator));  in calculateConstraintSatisfaction()
161     return calculateConstraintSatisfaction(S, C->getSubExpr(), Satisfaction,  in calculateConstraintSatisfaction()
195   Satisfaction.IsSatisfied = EvalResult.Val.getInt().getBoolValue();  in calculateConstraintSatisfaction()
196   if (!Satisfaction.IsSatisfied)  in calculateConstraintSatisfaction()
197     Satisfaction.Details.emplace_back(ConstraintExpr,  in calculateConstraintSatisfaction()
206     const Expr *ConstraintExpr, ConstraintSatisfaction &Satisfaction) {  in calculateConstraintSatisfaction()  argument
208       S, ConstraintExpr, Satisfaction, [&](const Expr *AtomicExpr) {  in calculateConstraintSatisfaction()
257             Satisfaction.Details.emplace_back(  in calculateConstraintSatisfaction()
261             Satisfaction.IsSatisfied = false;  in calculateConstraintSatisfaction()
277                                         ConstraintSatisfaction &Satisfaction) {  in CheckConstraintSatisfaction()  argument
279     Satisfaction.IsSatisfied = true;  in CheckConstraintSatisfaction()
286       Satisfaction.IsSatisfied = true;  in CheckConstraintSatisfaction()
302                                         ConstraintExpr, Satisfaction))  in CheckConstraintSatisfaction()
304     if (!Satisfaction.IsSatisfied)  in CheckConstraintSatisfaction()
325   ConstraintSatisfaction *Satisfaction = nullptr;  in CheckConstraintSatisfaction()  local
329     Satisfaction = SatisfactionCache.FindNodeOrInsertPos(ID, InsertPos);  in CheckConstraintSatisfaction()
330     if (Satisfaction) {  in CheckConstraintSatisfaction()
331       OutSatisfaction = *Satisfaction;  in CheckConstraintSatisfaction()
334     Satisfaction = new ConstraintSatisfaction(Template, TemplateArgs);  in CheckConstraintSatisfaction()
336     Satisfaction = &OutSatisfaction;  in CheckConstraintSatisfaction()
340                                     *Satisfaction)) {  in CheckConstraintSatisfaction()
342       delete Satisfaction;  in CheckConstraintSatisfaction()
349     SatisfactionCache.InsertNode(Satisfaction);  in CheckConstraintSatisfaction()
350     OutSatisfaction = *Satisfaction;  in CheckConstraintSatisfaction()
356                                        ConstraintSatisfaction &Satisfaction) {  in CheckConstraintSatisfaction()  argument
358       *this, ConstraintExpr, Satisfaction,  in CheckConstraintSatisfaction()
365                                     ConstraintSatisfaction &Satisfaction,  in CheckFunctionConstraints()  argument
369     Satisfaction.IsSatisfied = true;  in CheckFunctionConstraints()
385       Satisfaction);  in CheckFunctionConstraints()
391   ConstraintSatisfaction Satisfaction;  in EnsureTemplateArgumentListConstraints()  local
395                                   TemplateIDRange, Satisfaction))  in EnsureTemplateArgumentListConstraints()
398   if (!Satisfaction.IsSatisfied) {  in EnsureTemplateArgumentListConstraints()
408     DiagnoseUnsatisfiedConstraint(Satisfaction);  in EnsureTemplateArgumentListConstraints()
644 Sema::DiagnoseUnsatisfiedConstraint(const ConstraintSatisfaction& Satisfaction,  in DiagnoseUnsatisfiedConstraint()  argument
646   assert(!Satisfaction.IsSatisfied &&  in DiagnoseUnsatisfiedConstraint()
648   for (auto &Pair : Satisfaction.Details) {  in DiagnoseUnsatisfiedConstraint()
655     const ASTConstraintSatisfaction &Satisfaction,  in DiagnoseUnsatisfiedConstraint()  argument
657   assert(!Satisfaction.IsSatisfied &&  in DiagnoseUnsatisfiedConstraint()
659   for (auto &Pair : Satisfaction) {  in DiagnoseUnsatisfiedConstraint()