{
  "module": "Test",
  "kind": "Linearity Error",
  "text": [
    { "type": "code", "content": "B" },
    { "type": "text", "content": " was declared to belong to the " },
    { "type": "code", "content": "Free" },
    { "type": "text", "content": " universe, but it " },
    { "type": "text", "content": "contains a type" },
    { "type": "text", "content": " that belongs to the " },
    { "type": "code", "content": "Linear" },
    { "type": "text", "content": " universe." }
  ],
  "span": {
    "filename": "test-programs/suites/004-union/002-free-union-has-linear/Test.aum",
    "startp": { "line": 5, "column": 4 },
    "end": { "line": 8, "column": 8 }
  },
  "context": [
    [ 3, "    end;" ],
    [ 4, "" ],
    [ 5, "    union Bar: Free is" ],
    [ 6, "        case B is" ],
    [ 7, "            foo: Foo;" ],
    [ 8, "    end;" ],
    [ 9, "" ],
    [ 10, "    function main(): ExitCode is" ]
  ]
}