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