Auto merge of #4210 - dtolnay:division, r=flip1995

Downgrade integer_division to restriction

I believe that this lint falls outside of the scope of opinionated pedantism of the other pedantic lints.

changelog: Downgrade integer_division lint from pedantic to restriction

Author: bors

Diff for: clippy_lints/src/integer_division.rs

@@ -21,7 +21,7 @@ declare_clippy_lint! {
     /// }
     /// ```
     pub INTEGER_DIVISION,
-    pedantic,
+    restriction,
     "integer division may cause loss of precision"
 }
 

Diff for: clippy_lints/src/lib.rs

@@ -591,6 +591,7 @@ pub fn register_plugins(reg: &mut rustc_plugin::Registry<'_>, conf: &Conf) {
         implicit_return::IMPLICIT_RETURN,
         indexing_slicing::INDEXING_SLICING,
         inherent_impl::MULTIPLE_INHERENT_IMPL,
+        integer_division::INTEGER_DIVISION,
         literal_representation::DECIMAL_LITERAL_REPRESENTATION,
         matches::WILDCARD_ENUM_MATCH_ARM,
         mem_forget::MEM_FORGET,
@@ -626,7 +627,6 @@ pub fn register_plugins(reg: &mut rustc_plugin::Registry<'_>, conf: &Conf) {
         functions::TOO_MANY_LINES,
         if_not_else::IF_NOT_ELSE,
         infinite_iter::MAYBE_INFINITE_ITER,
-        integer_division::INTEGER_DIVISION,
         items_after_statements::ITEMS_AFTER_STATEMENTS,
         literal_representation::LARGE_DIGIT_GROUPS,
         loops::EXPLICIT_INTO_ITER_LOOP,

Diff for: src/lintlist/mod.rs

@@ -758,7 +758,7 @@ pub const ALL_LINTS: [Lint; 305] = [
     },
     Lint {
         name: "integer_division",
-        group: "pedantic",
+        group: "restriction",
         desc: "integer division may cause loss of precision",
         deprecation: None,
         module: "integer_division",