2017-02-07 21:05:30 +01:00
|
|
|
error: the lint `MISSING_LINT` is not added to any `LintPass`
|
2017-08-01 17:54:21 +02:00
|
|
|
--> $DIR/lint_pass.rs:12:1
|
2017-02-07 21:05:30 +01:00
|
|
|
|
|
|
|
|
|
12 | declare_lint! { MISSING_LINT, Warn, "missing lint" }
|
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
2017-05-17 14:19:44 +02:00
|
|
|
= note: `-D lint-without-lint-pass` implied by `-D warnings`
|
2017-02-07 21:05:30 +01:00
|
|
|
|
