{
    "openapi": "3.0.2",
    "info": {
      "title": "Example",
      "version": "2.0.0"
    },
    "servers": [
      {
        "url": "https://api.example.com"
      }
    ],
    "paths": {
      "/primary-domain/works": {
        "get": {
          "operationId": "get_authorize",
          "summary": "Should keep the same domain"
        }
      },
      "/secondary-domain/fails": {
        "get": {
          "operationId": "get_authorize",
          "summary": "Should use the other domain",
          "servers": [
            {
              "url": "http://petstore.swagger.io:{port}/{basePath}",
             "variables": {
                "port": {
                  "enum": [
                    "8443",
                    "443"
                  ],
                  "default": "8443"
                },
                "basePath": {
                  "default": "v2"
                }
             }
            }
          ]
        }
      }
    }
  }