)]}'
{
  "commit": "106448a9af10dde5c697619a5e67896dd14dcfec",
  "tree": "f776cebfc87b789146f54fdee2e4abfcfbc52461",
  "parents": [
    "2bdf77b753736bbe41269a41fe3bbaff93973cf1"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Sep 20 19:46:59 2026 +0000"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Sep 20 19:46:59 2026 +0000"
  },
  "message": "perf: skip local instance check for the new argument in `MatcherApp.addArg`\n\n`updateAlts` introduced the new alternative argument with `forallBoundedTelescope`, which checks whether its type is a class. The argument is only abstracted, so the check is skipped.\n\nCo-Authored-By: Claude Fable 5.1 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "126713ba80b0daf5f4ba79c99192417151f9720f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Structural/BRecOn.lean",
      "new_id": "a1d17277d7df653a249b89122efdb4528df44c28",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Structural/BRecOn.lean"
    },
    {
      "type": "modify",
      "old_id": "4aa03371649f80e080246ca3b196456305e73e0f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Match/MatcherApp/Transform.lean",
      "new_id": "37c43cb0a44e29fa901f0679d8a650e1e7337b56",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Match/MatcherApp/Transform.lean"
    }
  ]
}