swift
Sema: Continue to hollow out SolverScope
#76879
Merged

Commits
  • Sema: Record ASTNode types in the trail
    slavapestov committed 1 year ago
  • Sema: Record key path component types in the trail
    slavapestov committed 1 year ago
  • Sema: Record disabled constraints in the trail
    slavapestov committed 1 year ago
  • Sema: Record favored constraints in the trail
    slavapestov committed 1 year ago
  • Sema: Remove a few isRecordingChanges() checks to tighten invariants
    slavapestov committed 1 year ago
  • Sema: Push reconciliation down into applySolution() to strengthen invariants
    slavapestov committed 1 year ago
  • Sema: Record result builder transforms in the trail
    slavapestov committed 1 year ago
  • Sema: Record applied property wrappers in the trail
    slavapestov committed 1 year ago
  • Sema: LLVM_DEBUG for CSBindings.cpp
    slavapestov committed 1 year ago
  • Sema: Strenghten invariants in SolverTrail::Change::undo()
    slavapestov committed 1 year ago
  • Sema: Use an xmacro to clean up some duplication in CSTrail.cpp
    slavapestov committed 1 year ago
  • Sema: Record resolved overloads in the trail
    slavapestov committed 1 year ago
  • Sema: Record closure types in the trail
    slavapestov committed 1 year ago
  • Sema: Record implied results in the trail
    slavapestov committed 1 year ago
  • Sema: Record contextual types in the trail
    slavapestov committed 1 year ago
  • Sema: Record SyntacticElementTargetKeys in the trail
    slavapestov committed 1 year ago
  • Sema: Record case label items in the trail
    slavapestov committed 1 year ago
  • Sema: Record potential throw sites in the trail
    slavapestov committed 1 year ago
  • Sema: Record expression patterns in the trail
    slavapestov committed 1 year ago
  • Sema: Record isolated parameters in the trail
    slavapestov committed 1 year ago
  • Sema: Record preconcurrency closures in the trail
    slavapestov committed 1 year ago
  • Sema: Record implicit value conversions in the trail
    slavapestov committed 1 year ago
  • Sema: Record key path expressions in the trail
    slavapestov committed 1 year ago
  • Sema: Record argument lists in the trail
    slavapestov committed 1 year ago
  • Sema: Record implicit callAsFunction() roots in the trail
    slavapestov committed 1 year ago
  • Sema: Record synthesized conformances in the trail
    slavapestov committed 1 year ago
Loading