show default lint levels

2019-06-08 17:08:16 -07:00
parent 07ccec86a5
commit cfd7e0d5fd
4 changed files with 44 additions and 25 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@@ -102,6 +102,7 @@ fn update_lints(update_mode: &UpdateMode) {

 pub mod lint;
 pub use lint::Lint;
+pub use lint::LINT_LEVELS;

 pub const ALL_LINTS: [Lint; {}] = {:#?};\n",
            sorted_usable_lints.len(),