Same `DeveloperError` here.