Update clippy_lints/src/ref_option_ref.rs

dvermd · flip1995 · dvermd · commit db40a07665f7 · 2020-10-26T22:34:43.000+01:00
Co-authored-by: Philipp Krones &lt;hello@philkrones.com&gt;
diff --git a/clippy_lints/src/ref_option_ref.rs b/clippy_lints/src/ref_option_ref.rs
@@ -25,7 +25,7 @@ declare_clippy_lint! {
     /// let x: Option<&u32> = Some(&0u32);
     /// ```
     pub REF_OPTION_REF,
-    style,
+    pedantic,
     "use `Option<&T>` instead of `&Option<&T>`"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@ declare_clippy_lint! {`
`25`	`25`	`/// let x: Option<&u32> = Some(&0u32);`
`26`	`26`	/// ```
`27`	`27`	`pub REF_OPTION_REF,`
`28`		`- style,`
	`28`	`+ pedantic,`
`29`	`29`	"use `Option<&T>` instead of `&Option<&T>`"
`30`	`30`	`}`
`31`	`31`