That's called precise GC... Off topic: Toward Go 1.3: 100% precise GC Finally
http://www.reddit.com/r/programming/comments/1xmh7j/toward_go_13_100_precise_gc_finally/ "Shammah Chancellor" ... > With all the talk of garbage collection. I was wondering if it would be > useful to make the GC typed. If it was > typed, it maybe be possible to make it more efficient via type information, > (such as only scanning reference fields). > Also, it could have access to attribute information if applicable. > > -S. >