)]}'
{
  "commit": "a7d132fb13c6d7f444c1923f02689d940de05f28",
  "tree": "6e4933a0241033a11fd4cd2ace835b2ff43a8802",
  "parents": [
    "a8a160b09147c3225150703ac727eea6ee9a3b0e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Dec 15 20:56:00 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Dec 15 20:56:00 2024 -0800"
  },
  "message": "fix: `check` must check projections\n\nThis PR ensures `Meta.check` check projections.\n\ncloses #5660\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b6d7c2771076c1041a32aecb4069e02f13229864",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Check.lean",
      "new_id": "e8b20aaaff5152abba22e7be5618cb6a79760c3e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Check.lean"
    },
    {
      "type": "modify",
      "old_id": "82a447c0d393abeabf1e9652828f345e4220fd58",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/InferType.lean",
      "new_id": "c99fe03df2fbd9f3fb7bb362b1189293fddbb35d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/InferType.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2955859c28135f5844d1807c2e188c54717a5d45",
      "new_mode": 33188,
      "new_path": "tests/lean/run/5660.lean"
    }
  ]
}