Unnamed repository; edit this file 'description' to name the repository.
-rw-r--r--crates/ide-db/src/generated/lints.rs14
1 files changed, 0 insertions, 14 deletions
diff --git a/crates/ide-db/src/generated/lints.rs b/crates/ide-db/src/generated/lints.rs
index f9eb44d03a..14bc380586 100644
--- a/crates/ide-db/src/generated/lints.rs
+++ b/crates/ide-db/src/generated/lints.rs
@@ -10706,20 +10706,6 @@ The tracking issue for this feature is: [#77998]
deny_since: None,
},
Lint {
- label: "strict_overflow_ops",
- description: r##"# `strict_overflow_ops`
-
-The tracking issue for this feature is: [#118260]
-
-[#118260]: https://github.com/rust-lang/rust/issues/118260
-
-------------------------
-"##,
- default_severity: Severity::Allow,
- warn_since: None,
- deny_since: None,
- },
- Lint {
label: "strict_provenance_atomic_ptr",
description: r##"# `strict_provenance_atomic_ptr`