-
Type:
Task
-
Resolution: Unresolved
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
Query Execution
-
QE 2025-09-15
-
None
-
None
-
None
-
None
-
None
-
None
-
None
Assert and replace invariants, fasserts, MONGO_UNREACHABLE and MONGO_UNIMPLEMENTED macros usage with tassert for enums that are used to represent the state of an internal FSM or a member of an object, who's lifetime is bounded by the duration of a single operation and is not visible to other operations.
This ticket is only concerned with the query owned code located in src/mongo/db/exec/sbe.
Assess the invariants against this checklist:
- Invariant is not on the write path.
- Invariant is not asserting data coming from the storage layer.
- Invariant is not asserting the shared state that's accessible from other threads.
- Tassert would release all the resources that are violating the invariant.
- Invariant is covered by either unit test of jstest.