This should be `@exception {DeveloperError}`.