Lines Matching defs:Satisfaction

2872     ConstraintSatisfaction Satisfaction;
2874         SemaRef.Context, TransConstraint.get(), Satisfaction);
2878   ConstraintSatisfaction Satisfaction;
2892             Req->getConstraintExpr()->getSourceRange(), Satisfaction) &&
2903       Satisfaction.HasSubstitutionFailure()) {
2909         SemaRef.Context, C.backupStr(Entity), Satisfaction);
2912       concepts::NestedRequirement(C, TransConstraint.get(), Satisfaction);
4267           ConstraintSatisfaction Satisfaction;
4268           if (CheckFunctionConstraints(Function, Satisfaction) ||
4269               !Satisfaction.IsSatisfied) {