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.