Dealing with the interior pointers bug

[Cym13 via Digitalmars-d-learn]

On Wednesday, 21 June 2017 at 17:11:41 UTC, TheGag96 wrote:
> On Wednesday, 21 June 2017 at 15:42:22 UTC, Adam D. Ruppe wrote:
>> This comes from the fact that D's GC is conservative - if it 
>> sees something that *might* be a pointer, it assumes it *is* a 
>> pointer and thus had better not get freed.
>
> So is the GC then simply made to be "better-safe-than-sorry" or 
> is this a consequence of how the GC does things? Or rather, 
> does the GC know the type of any references to its memory at 
> all? I suppose I should really ask if there's a document other 
> than druntime's source that describes how the GC really works 
> under the hood haha.

You may like reading 
http://olshansky.me/gc/runtime/dlang/2017/06/14/inside-d-gc.html