diff options
| author | Alejandra González <blyxyas@gmail.com> | 2025-02-18 15:02:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-18 15:02:26 +0000 |
| commit | f49b4bc16573a9fac2f4bd0d9399b32828fc933e (patch) | |
| tree | a6ba55b390d19f16657ba03be26a788b08e1fdf2 /clippy_lints/src/utils/internal_lints | |
| parent | e2d9b9a32a83fe568e92083ecd3971d71e508031 (diff) | |
| parent | 758ec1d33239ac0d7c8b427a7945e75900cdb689 (diff) | |
remove an unneeded `#![feature]` (#14245)
It seems as if `#![feature(binary_heap_into_iter_sorted)]` is not required anymore. changelog: none
Diffstat (limited to 'clippy_lints/src/utils/internal_lints')
0 files changed, 0 insertions, 0 deletions