Sema: Record resolved overloads in the trail

This commit is contained in:
Slava Pestov
2024-10-03 22:11:16 -04:00
parent 892e79cd70
commit 43a4ac9216
5 changed files with 31 additions and 13 deletions

View File

@@ -360,6 +360,10 @@ void SolverTrail::Change::undo(ConstraintSystem &cs) const {
case ChangeKind::AppliedPropertyWrapper:
cs.removePropertyWrapper(TheExpr);
break;
case ChangeKind::ResolvedOverload:
cs.removeResolvedOverload(Locator);
break;
}
}