{
  "module": "Test",
  "kind": "Type Error",
  "text": [
    { "type": "text", "content": "Expected a value of type " },
    { "type": "type", "content": "Int32" },
    { "type": "text", "content": ", but got a value of type " },
    { "type": "type", "content": "Span[Nat8, Region<0>]" },
    { "type": "text", "content": "." }
  ],
  "span": {
    "filename": "test-programs/suites/011-bugs/github-381b/Test.aum",
    "startp": { "line": 4, "column": 8 },
    "end": { "line": 4, "column": 36 }
  },
  "context": [
    [ 2, "    function main(): ExitCode is" ],
    [ 3, "        var x: Int32 := 10;" ],
    [ 4, "        x := \"This shouldn't work.\";" ],
    [ 5, "        return ExitSuccess();" ],
    [ 6, "    end;" ]
  ]
}
