The correspondence theory of truth states that truth is essentially correspondence to a fact or state of affairs. How does this theory handle analytic truths - that is, 'true by definition' type statements that merely involve unfolding concepts? For example, what fact corresponds to the true sentence "a bachelor is an unmarried man"? Imagine a world where everyone dies except a married couple. Then there are no bachelors - but is still (presumably) true that a bachelor is an unmarried man. Then how can it be the case that this statement is true because of correspondence to reality?
It's the same as asking: Were jews real in Nazi Germany if they were sure to die? They were real obviously because they were born. Dying means being born first.
It would have been different if bachelors couldn't exist in the first place. Then there could have been a word for it ( bachelor) but it wouldn't correspond to reality.