{
  "module": "Test",
  "kind": "Type Error",
  "text": [
    { "type": "text", "content": "Cannot take a path of the type " },
    { "type": "type", "content": "Foo" },
    { "type": "text", "content": " because it is not a record." }
  ],
  "span": {
    "filename": "test-programs/suites/013-ref-transforms/002-not-a-record/Test.aum",
    "startp": { "line": 9, "column": 12 },
    "end": { "line": 9, "column": 27 }
  },
  "context": [
    [ 7, "        let foo: Foo := Blank();" ],
    [ 8, "        borrow fooref: &[Foo, R] := &foo do" ],
    [ 9, "            &(fooref->foo);" ],
    [ 10, "        end borrow;" ],
    [ 11, "        case foo of" ]
  ]
}
