)]}'
{
  "id": "1620312474e99c54e52a9f984dad264b0af94235",
  "repo": "rust",
  "revision": "1f2be4e71b06e2f37ef52dd08821023d3f34ca15",
  "path": "clippy_lints/src/operators/integer_division.rs"
}
