It is not optimization of a corner case over optimization of the common case; it is enabling of the corner case over optimization of the common case. Making the corner case slightly less efficient, that the common case can be slightly more efficient is obvious. Making the corner case impossible is not the same thing, and requires a much stronger argument.