Sema: Remove ConstraintSystemPhase::{Diagnostics,Finalization}

This commit is contained in:
Slava Pestov
2025-10-10 16:06:42 -04:00
parent a8d896ab8f
commit 8600cdcc2a
3 changed files with 2 additions and 23 deletions

View File

@@ -2131,9 +2131,7 @@ public:
enum class ConstraintSystemPhase {
ConstraintGeneration,
Solving,
Diagnostics,
Finalization
Solving
};
/// Retrieve the closure type from the constraint system.
@@ -2693,18 +2691,7 @@ public:
case ConstraintSystemPhase::Solving:
// We can come back to constraint generation phase while
// processing result builder body.
assert(newPhase == ConstraintSystemPhase::ConstraintGeneration ||
newPhase == ConstraintSystemPhase::Diagnostics ||
newPhase == ConstraintSystemPhase::Finalization);
break;
case ConstraintSystemPhase::Diagnostics:
assert(newPhase == ConstraintSystemPhase::Solving ||
newPhase == ConstraintSystemPhase::Finalization);
break;
case ConstraintSystemPhase::Finalization:
assert(newPhase == ConstraintSystemPhase::Diagnostics);
assert(newPhase == ConstraintSystemPhase::ConstraintGeneration);
break;
}
#endif