On 10/27/17 10:18 AM, Nordlöw wrote:
The docs for the third argument to
https://dlang.org/library/core/memory/gc.add_range.html
says:
"The GC might use this information to improve scanning for pointers or
to call finalizers."
Can somebody elaborate a bit on what "improve scanning" means here?
Currently, the TypeInfo is needed if you want to call the destructor of
a struct.
Eventually, if we ever have precise scanning, the TypeInfo may provide a
way to only scan reference types within the block, eliminating sources
of false pointers.
-Steve