In #5484, it would have been ideal to check if an instance was "instantiatable" by a Linker much sooner than when we currently check it (at startup instead of when a thread is spawned). Because a Store is not available until the thread is spawned and Linker::instantiate_pre requires a mutable Store, we cannot do this check sooner. If Linker::instantiate_pre were refactored to be called without a Store or if some other method were available to "check that all the imports can be satisfied," then the check in wasi-threads could be moved up and this issue closed.
In #5484, it would have been ideal to check if an instance was "instantiatable" by a
Linkermuch sooner than when we currently check it (at startup instead of when a thread is spawned). Because aStoreis not available until the thread is spawned andLinker::instantiate_prerequires a mutableStore, we cannot do this check sooner. IfLinker::instantiate_prewere refactored to be called without aStoreor if some other method were available to "check that all the imports can be satisfied," then the check in wasi-threads could be moved up and this issue closed.