Justin Spahr-Summers: > But shouldn't the GC know the size of Foo instances?
Yes, if Foo is a class instance. >It seems like it should be able to rewrite any GC-managed pointers that point >to 'f' or anywhere inside it.< Maybe it can be done, but in a system language it can become a mess, better to not go there. That's why in the original post I have suggested to allow to unpin only classes, so only a subset of references point to unpinned memory. All pointers, and part of the class references, point to pinned memory. This keeps this thing much simpler, and I think it's useful enough still. Java programmers don't use pointers, and pointers are meant for more manual management. Bye, bearophile
