I think this is a `RuntimeError`, not a `DeveloperError`.