Unnamed repository; edit this file 'description' to name the repository.
Merge pull request #19954 from lnicola/sync-from-rust
minor: Sync from downstream
Laurențiu Nicola 10 months ago
parent 9fc1b90 · parent 273514a · commit 64bc6b2
-rw-r--r--crates/ide-db/src/generated/lints.rs14
-rw-r--r--rust-version2
2 files changed, 1 insertions, 15 deletions
diff --git a/crates/ide-db/src/generated/lints.rs b/crates/ide-db/src/generated/lints.rs
index f9ff392126..de8a42979b 100644
--- a/crates/ide-db/src/generated/lints.rs
+++ b/crates/ide-db/src/generated/lints.rs
@@ -4458,20 +4458,6 @@ The tracking issue for this feature is: [#133214]
deny_since: None,
},
Lint {
- label: "const_eq_ignore_ascii_case",
- description: r##"# `const_eq_ignore_ascii_case`
-
-The tracking issue for this feature is: [#131719]
-
-[#131719]: https://github.com/rust-lang/rust/issues/131719
-
-------------------------
-"##,
- default_severity: Severity::Allow,
- warn_since: None,
- deny_since: None,
- },
- Lint {
label: "const_eval_select",
description: r##"# `const_eval_select`
diff --git a/rust-version b/rust-version
index 5b47d1bbae..af0dd5c9ac 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-a8e4c68dcb4dc1e48a0db294c5323cab0227fcb9
+7c10378e1fee5ddc6573b916aeb884ab10e0de17