Sema: Continue to hollow out SolverScope #76879
slavapestov
merged
26 commits into
swiftlang:main
from
slavapestov:cstrail-part-3
Sema: Record ASTNode types in the trail
7ea97501
Sema: Record key path component types in the trail
411c590b
Sema: Record disabled constraints in the trail
b2adf51d
Sema: Record favored constraints in the trail
9115a467
Sema: Remove a few isRecordingChanges() checks to tighten invariants
61575d99
Sema: Push reconciliation down into applySolution() to strengthen inv…
64293ece
Sema: Record result builder transforms in the trail
c7edc349
Sema: Record applied property wrappers in the trail
68629552
Sema: LLVM_DEBUG for CSBindings.cpp
434b0216
Sema: Strenghten invariants in SolverTrail::Change::undo()
9201a375
Sema: Use an xmacro to clean up some duplication in CSTrail.cpp
892e79cd
Sema: Record resolved overloads in the trail
43a4ac92
Sema: Record closure types in the trail
1d18cd07
Sema: Record implied results in the trail
666361ad
Sema: Record contextual types in the trail
516277f0
Sema: Record SyntacticElementTargetKeys in the trail
8c8a385a
Sema: Record case label items in the trail
39d0eab2
Sema: Record potential throw sites in the trail
500acd12
Sema: Record expression patterns in the trail
1d177d01
Sema: Record isolated parameters in the trail
b961a7ec
Sema: Record preconcurrency closures in the trail
ac17292d
Sema: Record implicit value conversions in the trail
881a0100
Sema: Record key path expressions in the trail
f2412f31
Sema: Record argument lists in the trail
72a60728
Sema: Record implicit callAsFunction() roots in the trail
12eb7cec
Sema: Record synthesized conformances in the trail
4a82d384
xedin
commented
on 2024-10-08
Login to write a write a comment.
Login via GitHub