Enthuware

t.data is accessible therefore, it will compile fine even though the object referred to by t has already ceased to exist

It cannot be guaranteed that "the object referred to by t has already ceased to exist". It can only be guaranteed that the object does not have a reference. Correct?

Yes, the programmer can only ensure that there are no references to an object. But from the perspective of the topic of this discussion, i.e. from the perspective of the lifespan scope, the object practically does not exist.