You can create StackInfo similar to TypeInfo, I suppose, and thus get an entirely precise GC.
What about the registers? It isn't that simple.
You can create StackInfo similar to TypeInfo, I suppose, and thus get an entirely precise GC.
What about the registers? It isn't that simple.