21 Commits

Author	SHA1	Message	Date
Slava Pestov	58a6a64647	Sema: SolverTrail::Change::RetiredConstraint now remembers the position	2024-10-21 17:19:01 -04:00
Slava Pestov	bdab82a192	Sema: Use xmacros to clean up more duplication in CSTrail.{cpp,h}	2024-10-08 16:50:49 -04:00
Slava Pestov	5fdc1a81b8	Sema: Record retired constraints in the trail	2024-10-08 16:39:34 -04:00
Slava Pestov	90175400d2	Sema: Record generated constraints in the trail	2024-10-08 16:17:28 -04:00
Slava Pestov	1e2d4fbc59	Sema: Record score increases in the trail	2024-10-08 16:16:31 -04:00
Slava Pestov	4a82d384b7	Sema: Record synthesized conformances in the trail	2024-10-07 16:50:49 -04:00
Slava Pestov	12eb7cec26	Sema: Record implicit callAsFunction() roots in the trail	2024-10-07 16:50:49 -04:00
Slava Pestov	72a60728fc	Sema: Record argument lists in the trail	2024-10-07 16:50:49 -04:00
Slava Pestov	f2412f318e	Sema: Record key path expressions in the trail	2024-10-07 16:50:48 -04:00
Slava Pestov	881a0100b2	Sema: Record implicit value conversions in the trail	2024-10-07 16:50:48 -04:00
Slava Pestov	ac17292dfe	Sema: Record preconcurrency closures in the trail	2024-10-07 16:50:48 -04:00
Slava Pestov	b961a7ec51	Sema: Record isolated parameters in the trail	2024-10-07 16:50:48 -04:00
Slava Pestov	1d177d0187	Sema: Record expression patterns in the trail	2024-10-07 16:50:48 -04:00
Slava Pestov	500acd122a	Sema: Record potential throw sites in the trail	2024-10-07 16:50:47 -04:00
Slava Pestov	39d0eab275	Sema: Record case label items in the trail	2024-10-07 16:50:47 -04:00
Slava Pestov	8c8a385a4a	Sema: Record SyntacticElementTargetKeys in the trail	2024-10-07 16:50:47 -04:00
Slava Pestov	516277f0fd	Sema: Record contextual types in the trail	2024-10-07 16:50:47 -04:00
Slava Pestov	666361adf2	Sema: Record implied results in the trail	2024-10-07 16:50:47 -04:00
Slava Pestov	1d18cd07cf	Sema: Record closure types in the trail	2024-10-07 16:50:47 -04:00
Slava Pestov	43a4ac9216	Sema: Record resolved overloads in the trail	2024-10-07 16:50:46 -04:00
Slava Pestov	892e79cd70	Sema: Use an xmacro to clean up some duplication in CSTrail.cpp	2024-10-07 16:50:46 -04:00