{
  "isError" : false,
  "request" : {
    "endColumn" : 18,
    "file" : "Report.ek9",
    "line" : 8,
    "newParameterName" : "total",
    "startColumn" : 7
  },
  "response" : {
    "conflicts" : [ ],
    "edits" : [ {
      "before" : "      total <- 10",
      "endLine" : 8,
      "file" : "Report.ek9",
      "startLine" : 8,
      "type" : "delete"
    }, {
      "after" : "    report()\n      ->\n        label as String\n        total as Integer",
      "before" : "    report()\n      -> label as String",
      "endLine" : 6,
      "file" : "Report.ek9",
      "startLine" : 5,
      "type" : "replace"
    }, {
      "after" : "      report(\"a\", 10)",
      "before" : "      report(\"a\")",
      "endLine" : 13,
      "file" : "Report.ek9",
      "startLine" : 13,
      "type" : "replace"
    }, {
      "after" : "      report(\"b\", 10)",
      "before" : "      report(\"b\")",
      "endLine" : 14,
      "file" : "Report.ek9",
      "startLine" : 14,
      "type" : "replace"
    } ],
    "meta" : {
      "serverMs" : "<timing>"
    },
    "resolvedPath" : "<workspace-root>/Report.ek9",
    "risk" : {
      "crossesModuleBoundary" : false,
      "estimatedSeverity" : "high",
      "fileCount" : 1,
      "lineCount" : 5,
      "touchesPublicApi" : true,
      "touchesTests" : false
    },
    "status" : "applied",
    "summary" : "Did introduce parameter total as Integer on function report (promoted local `total`, threaded `10` into 2 call sites)",
    "workspaceHash" : "<workspace-hash>",
    "wouldBeDiagnostics" : [ ],
    "written" : true
  },
  "scenario" : "introduce_promote_local_apply",
  "tool" : "introduce_parameter"
}