And importantly in a tracing GC the work load is a function of the non-garbage data not of the garbage.

Generational GC can avoid some of it by ignoring the old code entirely, but Go does not implement generations because its relatively strong ability to stack-allocate generally replaces the nursery, and for most work loads you don’t recoup the costs.