this `if` should never happen, based on above.