)]}'
{
  "commit": "57cd1368c1afc0b7787e93598571ee5a17a015c8",
  "tree": "4870751bba09401a7e1bef394d87679319bff6fe",
  "parents": [
    "9a8543347796e52070ff7936661ae48fcebfea60"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Nov 16 15:53:40 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Nov 16 15:55:59 2024 -0800"
  },
  "message": "fix: circular assignment at structure instance elaborator\n\nThis PR fixes a stack overflow caused by a cyclic assignment in the\nmetavariable context. The cycle is unintentionally introduced by the\nstructure instance elaborator.\n\ncloses #3150\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bbfd5d58a0098cdfca963d9f5741eb58c930fafa",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/StructInst.lean",
      "new_id": "b97cf272a80c8631ee13dcc5ad6dffacac8d494b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/StructInst.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a7cafeb5fd6a3bda11fe49797771813f11fc74d4",
      "new_mode": 33188,
      "new_path": "tests/lean/run/3150.lean"
    }
  ]
}