Commit a502236
authored
Remove unecessary lint
# Objective
- rust-lang/rust#123905 has been merged, so the
workaround introduced in #12913 is no longer necessary.
- Closes #12968
## Solution
- Remove unecessary `allow` attribute
- This is currently blocked until Rust beta updates.
- Last tested with `rustc 1.78.0-beta.7 (6fd191292 2024-04-12)`.#[allow(...)] (#12983)1 parent 16ff354 commit a502236
1 file changed
+0
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
58 | 58 | | |
59 | 59 | | |
60 | 60 | | |
61 | | - | |
62 | | - | |
63 | 61 | | |
64 | 62 | | |
65 | 63 | | |
| |||
0 commit comments