Thomas Lively

We can't outline anything that uses locals or has control flow out of the outlined region at the moment. There also isn't a great interface for telling the outliner to...

I'm not aware of active work on this, no. PRs would be welcome if you or anyone else wants to take a look at this, though. For the approach I...

cc @kripken in case this is useful for you. This is especially helpful in combination with `-g --preserve-type-order`. You can also use this command to remove numerical type names Binaryen...

I don't think this was a conscious decision, and I do think it would make sense to add the other abstract heap types. Supporting non-nullable references and references to defined...

> 2. While my proposal would be to add "the other abstract heap types" to the APIs, this does _not_ include the null types! There isn't any use case for...

So what is the full set of strings we should accept after fixing these oversights? Definitely these: - externref ✅ - anyfunc ✅ - anyref - exnref Should we add...

@kripken, PTAL. If this seems promising to you, I'm happy to keep working on it.

Good point that this could potentially combine well with the existing DAE pass. I'll let you know once this actually compiles and runs so we can try it out.

It would be good to reformulate this to preserve the abstraction, but I don't know how to do that short of having the core semantics of `memory.grow` call an embedder-configurable...

Having Wasm GC objects throw for as many JS operations as possible is intentional. See https://github.com/WebAssembly/gc/issues/353 and the discussions linked from there. The intent is to give us flexibility to...