1 #![deny(clippy::internal)]
2 #![feature(rustc_private)]
5 extern crate clippy_lints;
6 use clippy_lints::deprecated_lints::ClippyDeprecatedLint;
8 declare_deprecated_lint! {
10 /// Nothing. This lint has been deprecated.
12 /// ### Deprecation reason
14 #[clippy::version = "1.63.0"]
15 pub COOL_LINT_DEFAULT,
16 "default deprecation note"
19 declare_deprecated_lint! {
21 /// Nothing. This lint has been deprecated.
23 /// ### Deprecation reason
24 /// This lint has been replaced by `cooler_lint`
25 #[clippy::version = "1.63.0"]
27 "this lint has been replaced by `cooler_lint`"