| error: the lint `COOL_LINT_DEFAULT` has the default deprecation reason |
| --> tests/ui-internal/default_deprecation_reason.rs:8:1 |
| | |
| LL | / declare_deprecated_lint! { |
| LL | | /// ### What it does |
| LL | | /// Nothing. This lint has been deprecated. |
| LL | | /// |
| ... | |
| LL | | "default deprecation note" |
| LL | | } |
| | |_^ |
| | |
| note: the lint level is defined here |
| --> tests/ui-internal/default_deprecation_reason.rs:1:9 |
| | |
| LL | #![deny(clippy::internal)] |
| | ^^^^^^^^^^^^^^^^ |
| = note: `#[deny(clippy::default_deprecation_reason)]` implied by `#[deny(clippy::internal)]` |
| = note: this error originates in the macro `declare_deprecated_lint` (in Nightly builds, run with -Z macro-backtrace for more info) |
| |
| error: aborting due to 1 previous error |
| |
