Skip to content

Commit a56b49d

Browse files
committed
Revert "[CSGen] Remove ConstraintOptimizer and all favoring logic"
This reverts commit 4432c51.
1 parent e831c8d commit a56b49d

File tree

3 files changed

+831
-1
lines changed

3 files changed

+831
-1
lines changed

include/swift/Sema/ConstraintSystem.h

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5436,6 +5436,11 @@ class ConstraintSystem {
54365436
bool applySolutionToBody(TapExpr *tapExpr,
54375437
SyntacticElementTargetRewriter &rewriter);
54385438

5439+
/// Reorder the disjunctive clauses for a given expression to
5440+
/// increase the likelihood that a favored constraint will be successfully
5441+
/// resolved before any others.
5442+
void optimizeConstraints(Expr *e);
5443+
54395444
void startExpressionTimer(ExpressionTimer::AnchorType anchor);
54405445

54415446
/// Determine if we've already explored too many paths in an

0 commit comments

Comments
 (0)