)]}'
{
  "id": "428dea073eb53c5af24c2ec7cec0ed41af7cd0d5",
  "repo": "rust",
  "revision": "0158e09b0938e2992cf73b3ac94de922cf93ab39",
  "path": "src/tools/miri/tests/pass/specialization.rs"
}