)]}'
{
  "commit": "72e552875870310d9dbdc807700be8292150b982",
  "tree": "c1b5a7465bfc64d465f1e194960b00182a918673",
  "parents": [
    "fb01c650c25b9eb3b1effa46c9912378dce6c9ef"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jun 10 15:01:03 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jun 10 15:01:03 2024 -0700"
  },
  "message": "fix: improve `typeOccursCheck`\n\nThis commit addresses a Mathlib failure.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c1ad0a21d514f24437bdb614b5feb6223fa1a1b5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "7e77eb078c6a4421c4c51490a857e776ae242bea",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7c8aaeb70efe93b09089f701ec170bd8b1cf37ae",
      "new_mode": 33188,
      "new_path": "tests/lean/run/typeOccursCheckIssue.lean"
    }
  ]
}