)]}'
{
  "id": "12fb11665fe6d919ae7e2d48e9952b0cfb9c3f0c",
  "repo": "miri",
  "revision": "refs/heads/master",
  "path": "tests/fail/both_borrows/box-custom-alloc-aliasing.stack.stderr"
}