Use clippy 1.72 in CI and fix lints

[msrd0]

No description provided.

[codecov]

Codecov Report

Merging #624 (88835fc) into main (5a92811) will decrease coverage by 0.02%.
The diff coverage is 50.00%.

@@            Coverage Diff             @@
##             main     #624      +/-   ##
==========================================
- Coverage   78.34%   78.33%   -0.02%     
==========================================
  Files          72       72              
  Lines        2050     2049       -1     
==========================================
- Hits         1606     1605       -1     
  Misses        444      444              

Files Changed	Coverage Δ
gotham/src/middleware/session/rng.rs	100.00% <ø> (ø)
gotham/src/service/trap.rs	100.00% <ø> (ø)
misc/borrow_bag/src/handle.rs	33.33% <0.00%> (ø)
gotham/src/router/non_match.rs	95.83% <100.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more