[oecumena]

If there are no pointers from "old" to "new" objects, then there are no cycles and (compiler-assisted) reference counting will handle it.