)]}'
{
  "commit": "0e4caf36a2bd5da060d0e04ca40191180b10eb18",
  "tree": "bccef9ca936e0b7d67504a82c81364594d537338",
  "parents": [
    "357b52928f905bfb85a3496e411cf12fa20e730c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jun 21 11:42:12 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jun 21 11:54:08 2024 -0700"
  },
  "message": "fix: cached results at `synthInstance?`\n\nSynthesized type class instances may introduce new metavariables,\nand we should actually cache `AbstractMVarsResult`.\n\ncloses #2283\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "678824eadd8eb7a917290635c3f4a06409f035fb",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/AbstractMVars.lean",
      "new_id": "627c4cf35c6b2acd4c82041982fa3d3286ef27dd",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/AbstractMVars.lean"
    },
    {
      "type": "modify",
      "old_id": "1aadbc64b78e642812402e3833dcdac6b2553076",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "79a1ca247c6151606ea5de650e17baa944715074",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "90016949162dacb12c03d5f8827ccc4e965bb3c9",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SynthInstance.lean",
      "new_id": "afd5129422eeb03ae2c75dc59bfe530d661f1670",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SynthInstance.lean"
    },
    {
      "type": "modify",
      "old_id": "04f965edf389ff7f8704511b2dab5f0442d3ae97",
      "old_mode": 33188,
      "old_path": "tests/lean/infoFromFailure.lean.expected.out",
      "new_id": "ca2ea71f6f29371353925f69d9953ab568cac9b5",
      "new_mode": 33188,
      "new_path": "tests/lean/infoFromFailure.lean.expected.out"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "9a9b7e4ba834842de442642589782bdb623007ee",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2283.lean"
    }
  ]
}