)]}'
{
  "id": "54a1d7a36ddbff8ce62b09dc22965ae89cc7ce7f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "f724dd4b6086b934d805526fca705ff0f13d5dc4",
      "name": "assume"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aaba6febde4e8fc9e38c079dd65b3aa086890ec5",
      "name": "should_accept_if_src_has_safety_invariant.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6f8e383db1f0bb04a41f71d4a33b5a5ddcc5be6f",
      "name": "should_reject_if_dst_has_safety_invariant.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6445b1e146edea23323e925c2648a940b2c31731",
      "name": "should_reject_if_dst_has_safety_invariant.stderr"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "16d163d5420b3efd3dc3d2e894e27e4d1986623a",
      "name": "should_reject_if_ref_src_has_safety_invariant.rs"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "38ef829f064385a5f2f2961f69141887b8d2337e",
      "name": "should_reject_if_ref_src_has_safety_invariant.stderr"
    }
  ]
}