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