Indeed, so generational GCs don’t in fact scan the whole heap all the time, which was my point. That‘s just an optimization. You explicitly made the lifecycle

Indeed, so generational GCs don’t in fact scan the whole heap all the time, which was my point. That‘s just an optimization. You explicitly made the lifecycle requirement part of the semantics.