Simplify the wording of static_pointer_cast<> and friends.

Is this actually a correct paraphrase, or am I missing some subtlety
of the current wording? I'm assuming that if X is empty, and Y
shares ownership with X, then Y is empty.