>Wouldn't it make more sense to simply use a final class? This gives both the guarantees of finalization and releasing memory.

Wait, what?

> I don't think it would be acceptable to change RefCounted to use GC: That goes against the deterministic memory management, and it would still leak destructors.

Misunderstanding. The GC offers compulsive `free` as well, and the RC would use it.