Silly mistake by me in #3353, where I translated "[[AsyncEvaluation]] is false" to "[[AsyncEvaluationOrder]] is unset".

That's not true even in trivial cases. If you have module A that depends on module B, and B is async:

• you first import A, which imports B. Once everything is done, B has [[AsyncEvaluationOrder]] set to done
• then with a dynamic import you import B, whose re-Evaluation obviously completes synchronously (because it's already evaluated) but does not have [[AsyncEvaluationOrder]] set to unset.

This is different from the error case, where we can indeed assert that [[AsyncEvaluationOrder]] is unset. That's because in the error case we perform the assertion on what's in the stack, but we push modules to it only after checking that they are not already evaluated.