)]}'
{
  "id": "9a1a2f935921e04d6c6fa8485954a502c5e623dc",
  "repo": "rust",
  "revision": "d7e8f9fc7af4aa4cd65140afaebe48dd1e90e708",
  "path": "src/tools/miri/tests/pass/box-custom-alloc.rs"
}