Role of third argument to GC.addRange

[Steven Schveighoffer]

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