)]}'
{
  "id": "b4259161df55fd7c6f40196b97125e93523c1ed5",
  "repo": "rust",
  "revision": "d7e8f9fc7af4aa4cd65140afaebe48dd1e90e708",
  "path": "src/tools/miri/tests/fail/branchless-select-i128-pointer.rs"
}