)]}'
{
  "id": "9753f7539c27a08bd443817f9086bd047be957d9",
  "repo": "rust-lang/rustc-dev-guide",
  "revision": "refs/heads/offload-filename-change",
  "path": "src/solve/coinduction.md"
}