)]}'
{
  "commit": "b5822e1d5cd9f69ef1e39e93b852631b2d9b4f99",
  "tree": "da1344c6539326226736351c2fb2094c628e6d26",
  "parents": [
    "d55c069172537554dfa396d5bceab1bc39c80e43"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Jul 04 21:54:07 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jul 06 17:07:57 2021 +0200"
  },
  "message": "fix: unbox trivial unparameterized structures as well\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4d46bf7904f6fa1da9936f9f2c5b9d13bc16203a",
      "old_mode": 33188,
      "old_path": "src/library/compiler/util.cpp",
      "new_id": "5f77bdc78181b40676b23e7d2e0f99b8fac361a9",
      "new_mode": 33188,
      "new_path": "src/library/compiler/util.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7b6fccb237de96e27dbbaa6489fedbcf87c21c7b",
      "new_mode": 33188,
      "new_path": "tests/lean/unboxStruct.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "feffd3756382a4c559bb98401e25fb75b3076ff2",
      "new_mode": 33188,
      "new_path": "tests/lean/unboxStruct.lean.expected.out"
    }
  ]
}