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