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