This assert makes it possible to detect a regression of #13030 in the future without relying on undefined value tracking.