We are currently pinning mypy 1.13.0, but even if mypy<1.14 does not complain without this assertion, it should. So let's fix it right now.