)]}'
{
  "id": "ab57ab246b4f3e0326e712734a376595b7060d39",
  "repo": "rust",
  "revision": "refs/heads/main",
  "path": "src/tools/miri/tests/pass/box-custom-alloc-aliasing.rs"
}