mirror of
https://github.com/github/codeql.git
synced 2026-08-06 02:13:10 +02:00
Perhaps unsurprisingly, the join orderer was eager and willing to find the wrong join order in this predicate as well. Applying a similar fix to the one used in `TypeTracker::step` fixes the problem.