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