this should be an assert, cannot happen