Only if there is a niche optimization happens if T is never null, otherwise it's a tagged union.
That's not what you're replying to is about.