)]}'
{
  "commit": "bbeb01e2925fd592b3d77c7e599cd9fce77fd499",
  "tree": "b5c5258380c15d8453b59bd0ade78ddfb5a990b5",
  "parents": [
    "3d6dc5bcf5489a80d4ab6d2ecaf780387fc8655e"
  ],
  "author": {
    "name": "Mohamed Ali",
    "email": "mohmedali1462005@gmail.com",
    "time": "Wed Jul 08 14:20:29 2026 +0300"
  },
  "committer": {
    "name": "Mohamed Ali",
    "email": "mohmedali1462005@gmail.com",
    "time": "Wed Jul 08 15:59:15 2026 +0300"
  },
  "message": "[Priroda] Add print command for single-local info\n\nAdd a `print` command that shows information for one MIR local by number.\n\nUnlike `locals`, this command does not build the full locals table or iterate\nover `var_debug_info`. This keeps the command targeted and cheap, but means the\noutput only includes MIR-local information such as id, type, and runtime state.\nIt does not include source names or other debug-info-derived metadata, since\nthat would require scanning `var_debug_info`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0548ea55d18091734dbda23d7dc3bad004a442f3",
      "old_mode": 33188,
      "old_path": "src/tools/miri/priroda/src/main.rs",
      "new_id": "7ecef85cdbb2e99c2479b061c223fce5a09849ee",
      "new_mode": 33188,
      "new_path": "src/tools/miri/priroda/src/main.rs"
    },
    {
      "type": "modify",
      "old_id": "90c4d526ed518e96b7767e24332a64b0e9885fca",
      "old_mode": 33188,
      "old_path": "src/tools/miri/priroda/tests/ui/locals_access_field.stdin",
      "new_id": "7c8c0536e77b8dad065fd471e79dae891b38b04d",
      "new_mode": 33188,
      "new_path": "src/tools/miri/priroda/tests/ui/locals_access_field.stdin"
    },
    {
      "type": "modify",
      "old_id": "5b0b4bc4bd9ad50f973d98e772e4df30314b88f0",
      "old_mode": 33188,
      "old_path": "src/tools/miri/priroda/tests/ui/locals_access_field.stdout",
      "new_id": "5aeff083cc9d7c6f5c519e1904aaeabee6c22694",
      "new_mode": 33188,
      "new_path": "src/tools/miri/priroda/tests/ui/locals_access_field.stdout"
    }
  ]
}