swift
Sema: Consolidate disjunction pruning logic in CSDisjunction.cpp
#87599
Merged
Merged
Sema: Consolidate disjunction pruning logic in CSDisjunction.cpp #87599
slavapestov
merged
7 commits into
swiftlang:main
from
slavapestov:csdisjunction-refactoring
Sema: Factor out ConflictReason overload of simple_display()
d665a4c5
Sema: Split off Solution.h from ConstraintSystem.h
6466a84a
Sema: Rename CSLookahead.cpp to CSDisjunction.cpp
93583a54
Sema: Move some code to CSDisjunction.cpp
a4e47070
Sema: Inline collectDisjunctions() into its only caller
7a717654
Sema: Move more code to CSDisjunction.cpp
4e9b5da7
Sema: Move getApplicableFnConstraint() from CSOptimizer.cpp to CSDisj…
8e271c3c
xedin
approved these changes
on 2026-03-02
Login to write a write a comment.
Login via GitHub