)]}'
{
  "commit": "6f6bbfc7179677fe7c7f19cad2b58d5ab2d011cb",
  "tree": "c686448d250f43990bc6a6f0636a10375c307400",
  "parents": [
    "38e1f6ba824b8c6e64117c8a0850d54b09da59e2"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Tue Jul 05 20:46:25 2022 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Tue Jul 05 21:09:53 2022 -0700"
  },
  "message": "feat: `outParam` and coercions experiment\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "708eece8bcac28a9713a7b369fd15a13936eda7c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/App.lean",
      "new_id": "a4cb4e53f9362e8db0f3c2e644073962c8e40745",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/App.lean"
    },
    {
      "type": "modify",
      "old_id": "6d5e8812d67cb5db0d97bf5a376be921d61fc78c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Extra.lean",
      "new_id": "029cec86fe956a3e57c3635bf8910dac97b9bf82",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Extra.lean"
    },
    {
      "type": "modify",
      "old_id": "e1271338d47c67dbdfbf2b9a2c618b373cc91f49",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/SyntheticMVars.lean",
      "new_id": "e8540d84206fba1e95cb20d62358da9893f9058a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/SyntheticMVars.lean"
    },
    {
      "type": "modify",
      "old_id": "d8b57fba806c38e38cad4d356a9cae9600da6e8e",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "d3dafb02028ecf2e9b0cae7440b76ece8f17aa5a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "2bc154b2311b18181142026576376703f2745bf2",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "43e970fcc9e121a51fbe071e35ffe626433de8c6",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e63f64ef866f3d468061ba7dab68c2a2bbe1ada0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/coeOutParamIssue.lean"
    }
  ]
}