Sema: Small SolverTrail cleanups #76932
slavapestov
merged
4 commits into
swiftlang:main
from
slavapestov:cstrail-part-6
Sema: Remove last heap allocation of Scope
c8db9f55
Sema: Factor out clearScore() and replayScore()
38fe0696
Sema: Rename restoreCurrentScore() to updateScoreAfterConjunction()
6c2e4ecb
Sema: Use existing utility function
cdc2145a
xedin
approved these changes
on 2024-10-09
Login to write a write a comment.
Login via GitHub