)]}'
{
  "id": "f6c9276c16d0265a4fa908c6982a5e56257d4249",
  "repo": "rust",
  "revision": "a46af27db79e2daf674f3327d34ec6ac2bfbcb4f",
  "path": "clippy_lints/src/operators/integer_division.rs"
}