)]}'
{
  "commit": "28d96f03966638241f390d930ffaed64c0585e25",
  "tree": "88d0360fa7e02969a601c39dd4e9ded0fba4568e",
  "parents": [
    "4379002d0582ae96d7fc6ccf5921ff4e9aa7239e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Sep 20 07:38:26 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Sep 20 07:41:21 2025 -0700"
  },
  "message": "fix: `infer_let` in the kernel\n\nThis PR fixes the dead `let` elimination code in the kernel\u0027s\n`infer_let` function.\n\nCloses #10475\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "36a039e6ffd6e984d5750a04b64642924e416778",
      "old_mode": 33188,
      "old_path": "src/kernel/type_checker.cpp",
      "new_id": "98d7022094e613003b938153f7f2ced88237c71c",
      "new_mode": 33188,
      "new_path": "src/kernel/type_checker.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e1fb654bfbdf8234c58eba4f5a40d21166ef2e12",
      "new_mode": 33188,
      "new_path": "tests/lean/run/10475.lean"
    }
  ]
}