)]}'
{
  "id": "93626a354d0379f52446018c242b2ad3465c43d7",
  "repo": "miri",
  "revision": "refs/heads/master",
  "path": "tests/fail/both_borrows/box-custom-alloc-aliasing.rs"
}