This assert happened already at the top of this function.