HostResolveImportedModule asserting _resolved module script_'s instantiation state is "instantiated" does not necessarily hold in cyclic module graph

[nyaxt]

HostResolveImportedModule Step 6 says:

Assert: resolved module script's instantiation state is "instantiated" (and thus its module record is not null).

However, this doesn't always hold when fetching module graph with cycles.

[nyaxt]

Consider a case where we have: module A -dep-> module B -dep-> moduleA.

• We start from "fetch a module script graph" for A, which
• performs internal module graph fetching procedure for A, which
• fetches and compiles itself, and
• finds out module B as its descendants, and trigger the internal module graph fetching procedure for B, which
  • finds out module A as its descendants, but as module A is in the ancestor list, we stop recursion here.
  • then calls B's record.ModuleDeclarationInstantiation()
    • which will HostResolveImportedModule A
    • which resolves to module script A's record
    • however module script A isn't "instantiated" yet!

[domenic]

This seems correct. I think what I should be asserting is simply that its module record is not null.