)]}'
{
  "commit": "97979227fd4c4784ab0971ef08a1b5ae5067a78e",
  "tree": "4d86e91f9e02b088f0689924a803315d8a44f3b8",
  "parents": [
    "a2262c40df2b7dfecb8d008cfbe017dffea363de"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Oct 24 19:21:19 2026 +0000"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Oct 26 01:29:35 2026 +0000"
  },
  "message": "perf: inline `EnvExtension.getStateImpl`\n\n`getStateImpl` needs an `Inhabited` instance only to panic on an invalid extension index, but as an out-of-line call it made its callers build the instance first. `PersistentEnvExtension.getModuleEntries`, used by every lookup in an imported module\u0027s entries, thus allocated and freed an `Inhabited (PersistentEnvExtensionState α σ)` on each call. Inlined, the instance is only built on the panic path. No public IR signature changes.\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a1142e259080218880a60ebd9fd4c7316ecbd4f0",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "a147e3325ff18301e93ab7d27a893e141a2cad28",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    }
  ]
}