Merge from rust-lang/rust

This commit is contained in:
Laurențiu Nicola 2025-06-09 15:44:40 +03:00
commit 273514a9fb

View file

@ -4451,20 +4451,6 @@ The tracking issue for this feature is: [#133214]
[#133214]: https://github.com/rust-lang/rust/issues/133214
------------------------
"##,
default_severity: Severity::Allow,
warn_since: None,
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,