That's a GC-centric definition of "memory leak" that was invented to make garbage collection a tractable problem. Memory that is retained that will never be us

That's a GC-centric definition of "memory leak" that was invented to make garbage collection a tractable problem. Memory that is retained that will never be used regardless of input to the program is effectively a memory leak, regardless of whether you can get to it through some chain of references.