1 error: the lint `COOL_LINT_DEFAULT` has the default deprecation reason
2 --> $DIR/default_deprecation_reason.rs:8:1
4 LL | / declare_deprecated_lint! {
5 LL | | /// ### What it does
6 LL | | /// Nothing. This lint has been deprecated.
9 LL | | "default deprecation note"
13 note: the lint level is defined here
14 --> $DIR/default_deprecation_reason.rs:1:9
16 LL | #![deny(clippy::internal)]
18 = note: `#[deny(clippy::default_deprecation_reason)]` implied by `#[deny(clippy::internal)]`
19 = note: this error originates in the macro `declare_deprecated_lint` (in Nightly builds, run with -Z macro-backtrace for more info)
21 error: aborting due to previous error